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