A concrete example of "hard to reason about" is: High level languages exist to remove the complexity of opcodes of the bare metal running underneath. And that

A concrete example of "hard to reason about" is: High level languages exist to remove the complexity of opcodes of the bare metal running underneath. And that's because assembly code (unless you're well versed in it) is hard to reason about.