reasoner-impl changes