let stmt_opt v = match !v with
    | Vstart _ | VfctIn _ | VfctOut _ | Vexit _ -> None
    | Vstmt s | VblkIn s | VblkOut s | Vtest (s, _) | Vloop (_, s) -> Some s