Do not collapse wrongly applied selectors for non-well-founded codatatypes pre-model.