* tree-vrp.c (has_assert_expr, maybe_add_assert_expr): Remove.