model_print("SC Analysis options\n");
model_print("verbose -- print all feasible executions\n");
model_print("buggy -- print only buggy executions (default)\n");
model_print("SC Analysis options\n");
model_print("verbose -- print all feasible executions\n");
model_print("buggy -- print only buggy executions (default)\n");