let huge_pred m p = try ignore (check_pred m p) ; false with Huge -> true