module Prepare_ast: sig .. end
sig
end
Prepare AST for E-ACSL generation.
So for this mudule performs two tasks:
Keep_status
val prepare : unit -> Project.t
unit -> Project.t