Moved reasoning method exception translation to Reasoner.