let debug_display_func_status_bycase name =
let pre = Data_for_aorai.get_func_pre name in
(* let pre = mk_pre_or_post_bycase_from_pre_or_post pre in *)
let post = Data_for_aorai.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
Aorai_option.debug "%s %s %s" debug_pre name debug_post