Move exploration index annotations for the trees from the classifier to the concolic analysis.