Fixed recursion for let-calls in the CBVMachine (all CBV tests pass)