Class StatementEquivalenceConstraint