added basic block "flag"
merged basic block branch