void List_addonce(List *l, void *data) { if(List_contains(l, data)) return; List_add(l, data); }
int Trace_contains(char *s) { if (!traceList) traceList = List_new(); int exist = List_contains(traceList, s, (Poly_tyEquals) String_equals); return exist; }