add variableConstraint