Rename satisfiedByObject to satisfiedBy, and add unimplemented generateFailureMessage method to Constraint
Implement generateFailureMessage method in subclasses