KT-4576: Intention to transform an if an AssertionError throw into an assert

Second part of this issue: http://youtrack.jetbrains.com/issue/KT-4576
if -> assert, 
as Andrey suggested on the issue comments, only available on reversible situations (situation that could be created by the other side of this intention)