Test for FormulaInfo added and as a result LinearPredicate corrected.