"So, despite bytecodes being ''closer""to real machine code, source may be easier for a high-quality compiler to work from."
Techniques for structuring goto-based code are at least two decades old, and still found in the scientific programming world.