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"