testcase_get_signal
printf("Signal: %d\n", testcase_get_signal(testcase));
int testcase_get_signal(prop_dictionary_t testcase);