implement "Reorder Literals" mutation?

[jvoigtlaender]

For example, mutating

h([],[]).
h([L|Ls],Us) :- reverse(L,R),h(Ls,Rs),append(R,Rs,Us).

to

h([],[]).
h([L|Ls],Us) :- reverse(L,R),append(R,Rs,Us),h(Ls,Rs).

The usage here most likely would not be to find unkilled mutants and thus need for more tests, but instead to investigate how vulnerable the task/tests are to "non-declarativeness due to depth-first search". The aspect is also related to allowing different binding patterns.