fixed the wrong assertions.

assertTypeFormulaIsNotNull ->
assertFormulaComparatorEqual