Take advantage of non-rec-ness in occurrence analysis (minor)