added assertFormulaNumber().
added assertions to test_whereEqNumber().