_invalid_tests));  suite_add_tcase(s, tc);   tc = tcase_create("contract");  tcase_add_loop_test(tc, test_imcv_seg_contract, 0, countof(seg_env_tests));  suite_add_tcase(s, tc);   tc = tcase_create("contract_