Pruning the search tree of a refinement-operator-based class expression learning - View it on GitHub