fix(ApronInv): Fix translation of constraints to Apron constraints

This used to translate c_1*x_1 + c_2*x_2 into c_1 * (x_1 + c_2 * x_2)...