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