Removed duplicate code and tests: ConstraintModule