sig   val build_cil_file : ?last:bool -> string -> BoolInfo.proj -> Project.t end