Add replayable loop trace found in Pyretic