[LoopUnswitch] Code refactoring to separate trivial loop unswitch and non-trivial...