Add real_formula attribute to Formula.