[cvs-nhc98] patch applied (yhc): Fix a few bugs in collectFreeVars, the \\ operator only removes one occurrence, now nub is done on the lhs of the \\ to make sure all variables are removed