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