let all_values ~size v = (Parameters.Overflow.get ()) && try let i = project_ival v in Ival.all_values ~size i with Not_based_on_null -> false