Assumptions like loop equivalence can fall apart when considering the CFG ( control flow graph) interpretation versus a parse tree one where the former may e.g. merge loops. There are also doozies ...

A pictorial representation of the logic in a software module. The module must have an entry and exit point and be callable by another program. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other ...