Really zap case-binder occurrence info: solves #5028