Goto-s now point to BasicBlock_ID-s