[cvs-nhc98] patch applied (yhc): Move to using UniqueName to generate the names for RecursiveLet