Add formulaAssert