in cpp/DFAchecks.cpp [187:191]
void linked_list::process() { for (node *pt = head; pt != nullptr; pt = pt->next) { delete pt; } }