%BEGING
Main_10  -> Incr F_3_698  F_3_699  .
Bottom0  -> Bottom0 .
F_3_698 x_39_690 k_test1_40_691  -> k_test1_40_691 True  .
F_3_699 x_42_686  -> F_700 x_42_686  .
F_3_701 x_53_688 k_test2_54_689  -> br (k_test2_54_689 True  ) (k_test2_54_689 False  ) .
F_3_702 x_58_687  -> br (F_703 True  ) (F_703 False  ) .
F_3_704 k_incr x_64_692  -> k_incr x_64_692  .
F_700 b_693  -> b_693 (l0 (Incr F_3_701  F_3_702  ) ) (l1 (Fail_31 unit  ) ) .
F_703 b_696  -> b_696 (l0 unit  ) (l1 (Fail_34 unit  ) ) .
Fail_31 k_33  -> event_fail k_33  .
Fail_34 k_36  -> event_fail k_36  .
Incr f k_incr  -> f True  (F_3_704 k_incr  ) .
True x y  -> x .
False x y  -> y .
%ENDG

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