sig
val apply_after_transformation : Project.t -> unit
val mv_invariants : Env.t -> old:Cil_types.stmt -> Cil_types.stmt -> unit
val preserve_invariant :
Project.t ->
Env.t ->
Kernel_function.t -> Cil_types.stmt -> Cil_types.stmt * Env.t * bool
end