in cnova/DFAchecks.cpp [169:185]
void linked_list::add_node(int n)
{
node *tmp = new node;
tmp->data = n;
tmp->next = nullptr;
if(head == nullptr)
{
head = tmp;
tail = tmp;
}
else
{
tail->next = tmp;
tail = tail->next;
}
}