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