Fixing predicates tagging for changed ExactlyOne