feat(realpaver): make rp_expression_eval, rp_erep_eval const
feat(realpaver): implement rp_box_equal
feat(realpaver/rp_operator_sat): mark ctr c used if box is improved
refactor(dsolver/nra_solver): add debug message for the size of explanation