> Where's the bug? I think find_and_verify_loops should be updated to check for this case. There might also be other places in the compiler that move code around that need to be changed.