nsolve now only branches on the initial non-basic variables.