let display_operations_spec__ (sorted:bool) (bycase:bool) =
  (* Ltl_to_acsl_option.result  *)
  display "\n########\n# Operations specification:\n#";
  let listOfNames = (Data_for_ltl.getFunctions_from_c ()) in 
  let listOfNames = if sorted then List.sort (String.compare) listOfNames else listOfNames in
  List.iter
    (fun name ->
         let pre = Spec_tools.debug_display_stmt_all_pre (Data_for_ltl.get_func_pre ~securised:true name) in
         let post = if bycase then 
           Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_ltl.get_func_post_bycase ~securised:true name)
         else
           Spec_tools.debug_display_stmt_all_pre (Data_for_ltl.get_func_post ~securised:true name) 
         in
         Ltl_to_acsl_option.result "#   %s  %s  %s" pre name post;
         Ltl_to_acsl_option.result "\n"       
    )
    listOfNames;
  let ignFuncs=List.fold_left
    (fun ls s -> (ls^" "^s))
    ""
    (List.sort (String.compare) (Data_for_ltl.getIgnoredFunctions()))
  in
  display ("#\n#   Ignored functions: { "^ignFuncs^" }");
  display "#\n# End of operations specification\n########"