A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming