Update the unit tests for the conditional compilation directives to avoid a clash with a Lean Prolog built-in predicate