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