let debug_display_func_status name =
let pre = Data_for_ltl.get_func_pre name in
let post = Data_for_ltl.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
Ltl_to_acsl_option.debug "%s %s %s" debug_pre name debug_post;
Ltl_to_acsl_option.debug "\n"