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