Changed tracing interpreter to Jens' interpreter