[transforms] Fixed old behaviour
[transforms] Fixed bugs: now old behaviour works even in 'search prefix' mode
[transforms] Implemented auto-transformations in generalized case (even for statementes with implication prefix)