added a new class: FormulaGreaterThan.
added assertFormulaGreaterThan().