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