More haddocks
Ensure that a terminator is only set once per BasicBlock