fixes and tests (wip)
documentation for branching simplifications
tests for eliminating empty labels
improve documentation