BUGS.org

   1 * TODO BasicBlockWidget should get an unique type
   2
   3     As a result, properly filter BasicBlockWidgets when spacing
   4     without linearly searching through all BasicBlockWidgets all the
   5     time
   6
   7 * TODO Splitting BasicBlocks needs to happen sooner
   8
   9     BasicBlocks are splittet too late these days. As a result we
  10     sometimes get BasicBlocks that are suffixes of other BasicBlocks