Fix duplicated check for calls to a synchronized predicate appearing before the corresponding directive