[transforms] Fixed 2 bugs: unused option and incorrect associative and commutative rule search algorithm
[transforms] Implemented replaces for A = B -> g(A) = g(B) rules