Removed unused reasoner support classes