* reasoner bugfix
* added LRUCache tests