Restore support for declaring synchronized local predicates