Converted let to let*

In order to confirm to the semantics of the tracing interpreter