Made lifting function pass dvs' values as arguments instead of dvs.