For example, mutating ```prolog ... [X|[Y|Zs]] ... ``` to ```prolog ... [X,[Y|Zs]] ... ``` and vice versa. Also taking into account that the former is equivalent to `[X,Y|Zs]`. Moreover, even accidental uses of `:` instead of `|` could be taken into account.
For example, mutating
to
and vice versa.
Also taking into account that the former is equivalent to
[X,Y|Zs].Moreover, even accidental uses of
:instead of|could be taken into account.