# not virtual, then "i" is written and thus we get a new loop where
# "i" is virtual. However, in this specific case the two loops happen
# to contain the very same operations
- loop0, loop1 = log.loops_by_filename(self.filepath)
+ loop0, loop1 = log.loops_by_filename(self.filepath)
# becomes constant 0 after the bridge and constant 1 at the end of the
# loop. A bridge back to the peramble is produced instead.
+ assert loop2.match(expected)