The calls to `vm_change_dep` were put in without properly benchmarking them. They do not correspond to the original ltac code, which uses just `change`.