sig val generate_code : string -> Project.t val predicate_to_exp : Cil_datatype.Kf.t -> Cil_datatype.Predicate.t -> Cil_datatype.Exp.t end