BUG: shared predicate could override unshared subject