AtomicConstraint
OrConstraint