%BEGING
Main_12  -> Zero (Zero (br (F_145 True  ) (F_145 False  ) ) ) .
Bottom0  -> Bottom0 .
F_145 b_141  -> b_141 (l0 (br (F_146 True  ) (F_146 False  ) ) ) (l1 (Fail_61 unit  ) ) .
F_146 b_143  -> b_143 (l0 unit  ) (l1 (Fail_64 unit  ) ) .
Fail_61 k_63  -> event_fail k_63  .
Fail_64 k_66  -> event_fail k_66  .
Zero k_zero  -> k_zero .
True x y  -> x .
False x y  -> y .
%ENDG

%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA