foldOccSet if used would be a potential source of nondeterminism.
Since it's not used we can just remove it.