let get_pred_linfo t = get_linfo "Pred_to_check_fun_deps" (None, [t])