Symbol: ssif_bmc_test_singlepart_req