[saxon-upgrade] handle the return section of given let expression, too