new test cases
moved equalConstraint and subsetConstraint into ConstraintHelper
moved equalConstraint and subsetConstraint into ConstraintHelper
fixed testcase