printf("Both network and CPU models have 'Lazy' as default optimization level\n\n");
shall_exit = 1;
} else if (not strcmp(argv[i], "--help-tracing")) {
printf("Both network and CPU models have 'Lazy' as default optimization level\n\n");
shall_exit = 1;
} else if (not strcmp(argv[i], "--help-tracing")) {