The jump at the end of a guard-trace now properly pops the trace-frame-stack