Move to Constraint class to track linear coefficients