Class DefaultConstraintJustification