Catkinized tue_reasoner_core