OccurAnal.hs: Add an assert for an invariant