Seq3(1]a_submitted, a_partlysubmitted, Loop(2]l_s_0, Seq2(3]Xor2(4]x2_s_0, tau_0, Xor3(5]x3_s_1, w_afhandelen_leads, w_beoordelen_fraude, a_preaccepted, x3_e_1[5), x2_e_0[4), Xor2(4]x2_s_2, tau_1, And2(5]a2_s_0, Xor2(6]x2_s_3, tau_2, Loop(7]l_s_1, w_completeren_aanvraag, tau_3[7), x2_e_3[6), Xor2(6]x2_s_4, tau_4, Seq2(7]Xor2(8]x2_s_5, tau_5, a_accepted, x2_e_5[8), Xor2(8]x2_s_6, tau_6, And2(9]a2_s_1, Xor2(10]x2_s_7, tau_7, Loop(11]l_s_2, o_selected, tau_8[11), x2_e_7[10), Seq2(10]Xor2(11]x2_s_8, tau_9, a_finalized, x2_e_8[11), Loop(11]l_s_3, Seq2(12]Xor2(13]x2_s_9, tau_10, Xor2(14]x2_s_10, a_cancelled, Seq2(15]o_created, o_sent[15), x2_e_10[14), x2_e_9[13), Xor2(13]x2_s_11, tau_11, Seq2(14]And2(15]a2_s_2, Xor2(16]x2_s_12, tau_12, Loop(17]l_s_4, w_nabellen_incomplete_dossiers, tau_13[17), x2_e_12[16), Xor2(16]x2_s_13, tau_14, Seq2(17]Xor2(18]x2_s_14, tau_15, And2(19]a2_s_3, Xor2(20]x2_s_15, tau_16, Loop(21]l_s_5, w_valideren_aanvraag, tau_17[21), x2_e_15[20), Xor2(20]x2_s_16, tau_18, Xor2(21]x2_s_17, Seq2(22]Xor2(23]x2_s_18, tau_19, And2(24]a2_s_4, Xor2(25]x2_s_19, tau_20, o_declined, x2_e_19[25), And2(25]a2_s_5, Xor2(26]x2_s_20, tau_21, a_declined, x2_e_20[26), Xor2(26]x2_s_21, tau_22, w_nabellen_offertes, x2_e_21[26), a2_e_5[25), a2_e_4[24), x2_e_18[23), Xor2(23]x2_s_22, tau_23, o_sent_back, x2_e_22[23)[22), And4(22]a4_s_6, a_registered, a_approved, a_activated, Xor2(23]x2_s_23, tau_24, o_accepted, x2_e_23[23), a4_e_6[22), x2_e_17[21), x2_e_16[20), a2_e_3[19), x2_e_14[18), Xor2(18]x2_s_24, tau_25, o_cancelled, x2_e_24[18)[17), x2_e_13[16), a2_e_2[15), Xor2(15]x2_s_25, tau_26, Loop(16]l_s_6, w_wijzigen_contractgegevens, tau_27[16), x2_e_25[15)[14), x2_e_11[13)[12), tau_28[11)[10), a2_e_1[9), x2_e_6[8)[7), x2_e_4[6), a2_e_0[5), x2_e_2[4)[3), tau_29[2)[1)