Refactor backward disassembly for more clarity