let node_stmt_opt v = match !v.kind with
    | Vstart | Vtest (false, _, _) 
    | VfctIn | VfctOut | Vend | Vexit -> None
    | VblkIn (bk, _) | VblkOut (bk, _) -> bkind_stmt bk
    | Vstmt s | Vtest (true, s, _) | Vloop (_, s) | Vswitch (s,_)
    | VcallIn (s, _, _, _) | VcallOut (s, _, _, _) | VcallExit (s, _, _, _)
      -> Some s