Phi nodes are generated when needed to represent instance's fields values to scalar
replace an allocation. They are generated during memory optimization by using
split_through_phi optimization. It creates problem when we do this for loop's Phi
since there is no a guard against infinite (for each optimization path for the loop)
generation of such values Phi nodes.