settings file done; debugging reasoner done