Added dv#onchange example.
Made lifting function pass dvs' values as arguments instead of dvs.