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