implemented optimization() for FormulaVariable  and FormulaComparatorEqual.