updated “let” production label to “letstmts”