Use solve_add_graph_edge in more places

The following makes sure to use solve_add_graph_edge and honoring
special-cases, especially edges from escaped, in the remaining places
the solver adds edges.

	* tree-ssa-structalias.cc (do_ds_constraint): Use
	solve_add_graph_edge.