Test and fix let-rec evaluation