solve the problem when I move FlattenTerms before FreshCondToFreshVar
solve the problem when I move FlattenTerms before FreshCondToFreshVar