"Despite the seemingly endless necessity for doingso, it's actually not possible to reverse-engineer intended invariantsfrom staring at thousands of lines of code (not in C, and not inPython code either)."