#! /bin/sed -f
# Last edited on 2009-10-28 23:39:04 by stolfi

s/SINK/NULL/g
s/sink node/null node/g
s/_label/_mark/g
s/-label/-mark/g
s/input label/input mark/g
s/output label/output mark/g

s/f_node/f_link/g
s/f-node/f-link/g
s/fail node/fail link/g

s/p_node/p_link/g
s/p-node/p-link/g
s/pass node/pass link/g