fixing let generalization in hmseq