/**
* Link two vertices in the value graph
*
* @param src the def
* @param target the use
* @param pos the position of target in the set of uses
*/
private void link(ValueGraphVertex src, ValueGraphVertex target, int pos) {
ValueGraphEdge e = new ValueGraphEdge(src, target);
src.addTarget(target, pos);
graph.addGraphEdge(e);
}
