Give names for clauses generated with :addmissing

Names generated using the same machinery/heuristics as ordinary
case split generation.