A huge modification. Now my simplex module can introduce fictional variables automatically when necessary.