Add assertions after formulas calls.