* tree-vrp.c (find_assert_locations): Skip also edges