SolverTest -> SolverImplTest
SetVarBounds -> AddVar