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