Added guards to the trace

Added non-functional guards to the trace. The interpreter state is also reified at the moment these guards are recorded.