[transforms] some fixes
[transforms] Implemented use of implication-style commutative rules
Implemented detection of associative rules in implication form