let fmt_warn_no_valid_fptr_deref  =
  format_of_string  "no predicate available yet to check validity of function pointer dereferencing %a"