code cleanup
bytecode analysis: join equations on key collisions
refactoring: moving DFSTree into asm package
refactoring: moving RichControlFlow into asm package
refactoring: moving ControlFlowBuilder into asm package