let check_consistency () =
  (* Checking consistency *)
  let included_funs =
    List.for_all
      (fun fl ->
         let r=List.exists (fun fc -> fc=fl) !functions_from_c in
         if not r then Ltl_to_acsl_option.error "Error : function '%s' from LTL not found in C code.\n" fl;
         r
      )
      (!functions_from_auto)
  in
  let included_vars =
    List.for_all
      (fun vl ->
         let r=(List.exists (fun vc -> vc=vl) ("result"::!variables_from_c)) in
         if not r then Ltl_to_acsl_option.error "Error : variable '%s' from LTL not found in C code.\n" vl;
         r
      ) (!variables_from_auto)
  in
  (included_funs && included_vars)