only change implied bounds behavior with next-solver

to enable the new solver for testing without needing
to FCP the changes to the old one.