Tracing Factorial in Racket