let debug_display_func_status name =
let pre = Data_for_aorai.get_func_pre name in
let post = Data_for_aorai.get_func_post name in
let debug_pre = debug_display_stmt_all_pre pre in
let debug_post = debug_display_stmt_all_pre post in
Aorai_option.debug "%s %s %s" debug_pre name debug_post;
Aorai_option.debug "\n"