* tree-vrp.c (maybe_add_assert_expr): Don't assert