Graph.getSuccessors() method added