* TODO BasicBlockWidget should get an unique type As a result, properly filter BasicBlockWidgets when spacing without linearly searching through all BasicBlockWidgets all the time * 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 * TODO spread out enries Add some small gap between inbound edges the currently layout is slightly confusing