for (MarkovEdge e : this.candidate_edges) {
MarkovVertex v = markov.getOpposite(element, e);
sb.append(String.format(" [%d] %s --[%s]--> %s%s%s",
i++, element, e, v,
(next_vertex.equals(v) ? " <== SELECTED" : ""),
(trace.val && this.candidate_edges.size() > 1 ? "\n"+StringUtil.addSpacers(v.debug()) : "")));
} // FOR
LOG.debug(sb.toString());
} // DEBUG
// If there was only one next Statement that we could possibly execute here,