[transforms] Fixed bug
[transforms] Commutative and associative refactoring
[transforms] Implemented deep closure detection