1 * TODO BasicBlockWidget should get an unique type
3 As a result, properly filter BasicBlockWidgets when spacing
4 without linearly searching through all BasicBlockWidgets all the
7 * DONE Splitting BasicBlocks needs to happen sooner
9 BasicBlocks are splittet too late these days. As a result we
10 sometimes get BasicBlocks that are suffixes of other BasicBlocks
12 * TODO spread out enries
14 Add some small gap between inbound edges the currently layout is