let debug_display_func_status_bycase name =
  let pre = Data_for_ltl.get_func_pre name in
(*  let pre = mk_pre_or_post_bycase_from_pre_or_post pre in *)
  let post = Data_for_ltl.get_func_post_bycase name in
  let debug_pre = debug_display_stmt_all_pre pre in
  let debug_post =  debug_display_stmt_all_pre_bycase post in
  Ltl_to_acsl_option.debug "%s %s %s" debug_pre name debug_post