reasoner execution wrapper