functor (Info : RemoveInfo) ->
  sig val build_cil_file : string -> Info.proj -> Project.t end