implement "List Structure Coarsening" mutation?

[jvoigtlaender]

For example, mutating

intersperse(_,[],[]).
intersperse(_,[Y],[Y]).
intersperse(X,[Y|[U|Us]],[Y,X|Zs]) :- intersperse(X,[U|Us],Zs).

or even

intersperse(_,[],[]).
intersperse(_,[Y],[Y]).
intersperse(X,[Y,U|Us],[Y,X|Zs]) :- intersperse(X,[U|Us],Zs).

to

intersperse(_,[],[]).
intersperse(_,[Y],[Y]).
intersperse(X,[Y|Ys],[Y,X|Zs]) :- intersperse(X,Ys,Zs).