FromulaTreeGenerator tests.