24 Jan 2008: in the r_solver, the impose_neg_constraints opens a choice point, while in the fd_solver it uses constraints. Request: improve the r_solver version.

