graph-rewriting-cl-0.2.2: examples/4.cl

(S B (S B (S B I))) (S B I) (S B I) I I