void SCAnalysis::print_list(action_list_t *list) {
model_print("---------------------------------------------------------------------\n");
if (cyclic)
void SCAnalysis::print_list(action_list_t *list) {
model_print("---------------------------------------------------------------------\n");
if (cyclic)