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