Incomplete rewrite of grammar of formulas and effects