error when flattening formulas with real and integer variables, multiple terms for the same variable.