AtomicConstraint unit tests