Minor refactor: reuse _compute_case_signature to compute failed model file name

[DingmaomaoBJTU]

for save_failed_model in modelkit\static_analyzer\runtime_checker\op_input_gen\op_input_gen.py