This is a placeholder for linear constraints that look like:
coefficients * vars 'oper; value
If coefficients == null then it is simply
sum of vars 'oper' value
Scalar products define the following constraint:
{coefficients,-1} * {vars,derivedVar} = 0