Basic blocks fixed
bb with while
merge
merge