Assumptions like loop equivalence can fall apart when considering the CFG ( control flow graph) interpretation versus ... languages it helps to write your code as straightforward as possible ...