sig
val move :
Visitor.generic_frama_c_visitor ->
old:Cil_types.stmt -> Cil_types.stmt -> unit
val get_stmt :
Visitor.generic_frama_c_visitor ->
Cil_types.logic_label -> Cil_types.stmt
val new_labeled_stmt : Cil_types.stmt -> Cil_types.stmt
val self : State.t
end