minor edits related to ConstraintIBMethod