} else if (graph.getOutEdges(vs).size() == 1) {
Statement succ = graph.getOutEdges(vs).iterator().next().getTo();
if (graph.getInEdges(succ).size()==1) { // TODO: copy propagation could be improved by not requiring "no other predecessors"
// variable assignment with unique successor node that has no other predecessors - bypass this assignment
final Variable vsrc = vs.getSource();
succ.visitBy(new StatementVisitor() {
public void visitAnalyzeStm(AnalyzeStm s) {
s.setBase(vsrc);
}