int currentCodePoint = text.codePointAt(index);
Map<PrefixTree,Branch> nextExploredBranches = new HashMap<PrefixTree,Branch>();
//if (debug) System.out.println("Debug: for each currently explored branch");
for (PrefixTree currentExploredBranch : currentExploredBranches.keySet()) {
PrefixTree nextExploredBranch = currentExploredBranch.getChild(currentCodePoint);
//
Branch currentBranch = currentExploredBranches.get(currentExploredBranch);
//