Dot product support for @addConstraint()