fix(dsolver/ode_solver): prune only if SAT

fix #48