Minor refactoring of the compiler code for calls to synchronized predicates