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