test_suite__num_test_cases
if (test_suite__num_test_cases(t) > 1) {
if (test_suite__num_test_cases(t) > 1 && curr_test_case == 0)
if (test_suite__num_test_cases(t) > 1)
if (test_suite__num_test_cases(*t) <= 1)