Update Prolog conformance tests for built-in arithmetic comparison predicates to try to delay errors in expressions to runtime to properly test exception terms