constraints support separate condition tests by splitting defined constraints by && and ||;
the constraints are guarded as ConstraintPart trees;