That works great when the semantics of the code match the written intent. This is fine for battle tested libraries and pieces of infrastructure. However for co

That works great when the semantics of the code match the written intent. This is fine for battle tested libraries and pieces of infrastructure. However for code reviews and debugging an engineer must actually read and understand the 'how' to prove and disprove the 'what'.