converted get_case_witnesses() to new format