233234235236237238239240241
graph.addEdge(s, lastStatement, filter); } public Statement currentStatement() { if (firstStatement == null) { addStatement(new NopStm(currentOrigin)); } return lastStatement; }