tree-vrp.c (extract_range_from_assert): Remove special handling for types with super...