fix frozenset to take into account values