Guard failure now triggers tracing

If a guard fails, the tracing interpreter now checks whether a trace exists for this guard. If there is none, it starts tracing