[Racket][macro] Update the docum of the cond_3