Fixed formula tree generating grammar. More tests.