added some test for symbolic lambda compositions