Fix unit tests in previous commit for backend Prolog compilers that don’t support synchronized predicates