spt.add(originState);
queue.insert(originState, originState.getWeight());
HashSet<Vertex> closed = new HashSet<Vertex>();
ExtraEdgesStrategy extraEdgesStrategy = options.extraEdgesStrategy;
Map<Vertex, List<Edge>> extraEdges = new HashMap<Vertex, List<Edge>>();
extraEdgesStrategy.addOutgoingEdgesForOrigin(extraEdges, origin);
if (extraEdges.isEmpty())
extraEdges = Collections.emptyMap();
while (!queue.empty()) {