FIX: Fixed problem with tracing a transition that calls ctx.quit()