for dumping invisible assertions on Ceder