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