Remove support for non-deterministic synchronized predicates