implement uncond branch insertion, mark branches with isBranch.