Add AbstractConstraint.toString()