fix formula_abc_red refactor bug