Predicate Paths::edges

predicate edges(TaintedNode fromnode, TaintedNode tonode)