Simplify compilation of synchronized predicates