let
huge_term m t =
try
ignore (check_term m t) ;
false
with
Huge
->
true