[transforms] Implemented use of implication-style associative rules