remove redundant check in @addConstraint