Work on classifier reasoner

- almost implemented reasoning with single class or class cluster
- missing reasoning with dependencies external to class cluster
- some refactoring