Added Snorocket to known reasoners list