Test the LETREC example with an outer LET binding for a few values.