Return executed transformations with reached symbols