--- /dev/null
+* TODO BasicBlockWidget should get an unique type
+
+ As a result, properly filter BasicBlockWidgets when spacing
+ without linearly searching through all BasicBlockWidgets all the
+ time
+
+* TODO 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