[FV Transformation] covert the transformation to iterative transformation
Convert the transformation CodeSpecPrepareToIfElseBlock to iterative transformation. Currently it is not done because I am not sure if iterative transformation works
(from redmine: issue id 3179, created on 2017-11-20, closed on 2019-05-29)