Class ConstraintAtom