graph-rewriting-ski-0.4.5: examples/reversal.ski

S(K(SI))Kxy