then imp_r (then (orA_l 1) (andM_l 1)).
orA_r2.
andM_r (1::2::nil).
then orA_r1 orA_r2.
then (andM_r (1::nil)) init.
then (copy 12) (then (dagger_l 1) (then (wall_l1 1 (w\w) 1) (at_l 1))).
orA_l 1.
then orA_r1 init.
then orA_r2 init.

orA_r2.
andM_r (1::2::nil).
then orA_r1 orA_r1.
then (andM_r (1::nil)) init.
then (copy 12) (then (dagger_l 1) (then (wall_l1 1 (w\w) 1) (at_l 1))).
orA_l 1.
then orA_r1 init.
then orA_r2 init.