Module Prepare_ast

module Prepare_ast: sig .. end
Prepare AST for E-ACSL generation. So for this mudule performs the only task:

val prepare : unit -> Project.t