do not add duplicate basic block terminators

Horrible hack, but it works for now. For while, just guess and check until it works.