module Logic_preprocess:adds another pre-processing step in order to expand macros in annotations.sig
..end
file cpp file
takes the file to preprocess,
and the pre-processing directive, and returns the name of the file
containing the completely pre-processed source.val file : (string -> string -> string) -> string -> string