CleaningIndexHook: instead of throwing exceptions, will log error
(useful to see all errors); reduced debug > trace; created a method
which takes just a collection of axioms
IndexedObectCache: when subtracting indexed class expressions check that
no rule is assigned to them