Occbin: linearize nonlinear constraints
For consistency with the piecewise linear solution, the constraints should also be linear when we evaluate them. We should have the preprocessor linearize the constraint automatically. Currently, it's up to the user to make sure everything is consistent.