4950515253545556575859
} private void split_and_link() { Pair<TGLeaf,TGLeaf> best_split = null; ExtGroundFact best_test = null; double best_sum = 0; for(ExtGroundFact test : stats.getAllTests()) { Pair<TGLeaf,TGLeaf> p = split(test); if(p != null)