make getReasonerFactory public