Added a toggleNegated function for AtomicConstraint.