implement Wrap Variable into List mutation

For example, mutating
```prolog
reverse([],Ys,Ys).
reverse([X|Xs],Ys,Zs) :- reverse(Xs,[X|Ys],Zs).
```
to
```prolog
reverse([],[Ys],[Ys]).
reverse([X|Xs],[Ys],[Zs]) :- reverse([Xs],[X|Ys],[Zs]).
```