The compiler now uses a new internal predicate, defined in the Prolog adapter files, to output compiled source file terms (this predicate
allows passing source file location information for the compiled terms)