the previous ought to have been wrong i think.
debug output revealed, this line is actually superfluous

..?!?
don't forget to change num_succ and num_pred
remove successors of BBs where we put or remove gotos.