without linearly searching through all BasicBlockWidgets all the
time
-* TODO Splitting BasicBlocks needs to happen sooner
+* DONE Splitting BasicBlocks needs to happen sooner
BasicBlocks are splittet too late these days. As a result we
sometimes get BasicBlocks that are suffixes of other BasicBlocks