let node_type_id t = match t with | Vstart n | VfctIn n | VfctOut n | Vexit n -> n | Vstmt s | VblkIn s | Vtest (s, _) | Vloop (_, s) -> s.sid | VblkOut s -> -s.sid