punt on three-argument @addConstraint with quadratic constraints.