The ECLiPSe adapter file now imports the stricter versions of the `compare/3` and `term_variables/2` standard built-in predicates