public List<Statement> getPredsOf(Statement stmt) {
LinkedList<Statement> result = Lists.newLinkedList();
for (NormalEdge edge : normalEdges) {
if (edge.includeInCfg && edge.succUnit.equals(stmt))
result.add(edge.unit);
<BUG>}
return result;</BUG>
}
@Override
public Collection<Statement> getStartPointsOf(TestMethod m) {

public List<Statement> getPredsOf(Statement stmt) {
LinkedList<Statement> result = Lists.newLinkedList();
for (NormalEdge edge : normalEdges) {
if (edge.includeInCfg && edge.succUnit.equals(stmt))
result.add(edge.unit);
}
for(Call2ReturnEdge edge : call2retEdges) {
if(edge.includeInCfg && edge.returnSite.equals(stmt))
result.add(edge.callSite);
}
return result;
}
@Override
public Collection<Statement> getStartPointsOf(TestMethod m) {
