Module Env.Logic_env

val push_new : t -> Analyses_datatype.Profile.t -> t
val get_profile : t -> Analyses_datatype.Profile.t
val pop : t -> t