fix(opensmt/egraph/Enode): make print functions const
feat(dsolvers/nra_solver): implement Enode => ibex::ExprNode / ExprCtr