%BEGING
Main_30  -> Bind_21 F_2_1348  F_2_1352  F_2_1365  F_2_1366  .
Bottom0  -> Bottom0 .
Bind_21 ma_20 f_19 s_18 k_bind_17  -> ma_20 s_18  (F_2_1367 f_19  k_bind_17  ) .
F_1350 s_144_1327 k_add_73_1329 b_1333  -> b_1333 (l0 (k_add_73_1329 True  ) ) (br (F_1351 s_144_1327  k_add_73_1329  True  ) (F_1351 s_144_1327  k_add_73_1329  False  ) ) .
F_1351 s_144_1327 k_add_73_1329 b_1335  -> l1 (s_144_1327 (k_add_73_1329 b_1335  ) ) .
F_1354 x_124_1315 x_125_1316 b_1337  -> b_1337 (l0 (Bind_21 F_2_1355  F_2_1359  (F_2_1362 x_124_1315  ) x_125_1316  ) ) (l1 (Fail_63 unit  ) ) .
F_1357 s_144_1324 k_remove_156_1326 b_1339  -> b_1339 (l0 (k_remove_156_1326 False  ) ) (br (F_1358 s_144_1324  k_remove_156_1326  True  ) (F_1358 s_144_1324  k_remove_156_1326  False  ) ) .
F_1358 s_144_1324 k_remove_156_1326 b_1341  -> l1 (s_144_1324 (k_remove_156_1326 b_1341  ) ) .
F_1364 x_124_1315 x_125_1316 b_1343  -> b_1343 (F_1354 x_124_1315  x_125_1316  True  ) (br (F_1354 x_124_1315  x_125_1316  True  ) (F_1354 x_124_1315  x_125_1316  False  ) ) .
F_1370 x__1308_1331 b_1346  -> b_1346 (x__1308_1331 True  ) (br (x__1308_1331 True  ) (x__1308_1331 False  ) ) .
F_2_1348 s_144_1327 k_modify_145_1328  -> k_modify_145_1328 (F_2_1349 s_144_1327  ) .
F_2_1349 s_144_1327 k_add_73_1329  -> br (F_1350 s_144_1327  k_add_73_1329  True  ) (F_1350 s_144_1327  k_add_73_1329  False  ) .
F_2_1352 x_124_1315 x_125_1316  -> x_124_1315 (F_2_1353 x_124_1315  x_125_1316  ) .
F_2_1353 x_124_1315 x_125_1316 x_141_1317  -> F_1364 x_124_1315  x_125_1316  x_141_1317  .
F_2_1355 s_144_1324 k_modify_145_1325  -> k_modify_145_1325 (F_2_1356 s_144_1324  ) .
F_2_1356 s_144_1324 k_remove_156_1326  -> br (F_1357 s_144_1324  k_remove_156_1326  True  ) (F_1357 s_144_1324  k_remove_156_1326  False  ) .
F_2_1359 x_108_1320 x_109_1321  -> x_109_1321 (F_2_1360 x_108_1320  ) .
F_2_1360 x_108_1320 x__1298_1322  -> x_108_1320 (F_2_1361 x__1298_1322  ) .
F_2_1361 x__1298_1322 x__1299_1323  -> x__1298_1322 .
F_2_1362 x_124_1315 x__1295_1318  -> x_124_1315 (F_2_1363 x__1295_1318  ) .
F_2_1363 x__1295_1318 x__1296_1319  -> x__1295_1318 .
F_2_1365 k_main_arg2_81_1314  -> k_main_arg2_81_1314 .
F_2_1366 main1_87_1313  -> unit .
F_2_1367 f_19 k_bind_17 r_ma1_95_1330  -> f_19 (F_2_1368 r_ma1_95_1330  ) k_bind_17  .
F_2_1368 r_ma1_95_1330 x__1308_1331  -> r_ma1_95_1330 (F_2_1369 x__1308_1331  ) .
F_2_1369 x__1308_1331 x__1309_1332  -> F_1370 x__1308_1331  x__1309_1332  .
Fail_63 k_65  -> event_fail k_65  .
True x y  -> x .
False x y  -> y .
%ENDG

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