Seq3(1]a_submitted, a_partlysubmitted, Loop(2]l_s_A0, Seq2(3]Xor2(4]x2_s_A0, tau_A0, Xor3(5]x3_s_A1, w_afhandelen_leads, w_beoordelen_fraude, a_preaccepted, x3_e_A1[5), x2_e_A0[4), Xor2(4]x2_s_A2, tau_A1, And2(5]a2_s_A0, Xor2(6]x2_s_A3, tau_A2, Loop(7]l_s_A1, w_completeren_aanvraag, tau_A3[7), x2_e_A3[6), Xor2(6]x2_s_A4, tau_A4, Seq2(7]Xor2(8]x2_s_A5, tau_A5, a_accepted, x2_e_A5[8), Xor2(8]x2_s_A6, tau_A6, And2(9]a2_s_A1, Xor2(10]x2_s_A7, tau_A7, Loop(11]l_s_A2, o_selected, tau_A8[11), x2_e_A7[10), Seq2(10]Xor2(11]x2_s_A8, tau_A9, a_finalized, x2_e_A8[11), Loop(11]l_s_A3, Seq2(12]Xor2(13]x2_s_A9, tau_A10, Xor2(14]x2_s_A10, a_cancelled, Seq2(15]o_created, o_sent[15), x2_e_A10[14), x2_e_A9[13), Xor2(13]x2_s_A11, tau_A11, Seq2(14]And2(15]a2_s_A2, Xor2(16]x2_s_A12, tau_A12, Loop(17]l_s_A4, w_nabellen_incomplete_dossiers, tau_A13[17), x2_e_A12[16), Xor2(16]x2_s_A13, tau_A14, Seq2(17]Xor2(18]x2_s_A14, tau_A15, And2(19]a2_s_A3, Xor2(20]x2_s_A15, tau_A16, Loop(21]l_s_A5, w_valideren_aanvraag, tau_A17[21), x2_e_A15[20), Xor2(20]x2_s_A16, tau_A18, Xor2(21]x2_s_A17, Seq2(22]Xor2(23]x2_s_A18, tau_A19, And2(24]a2_s_A4, Xor2(25]x2_s_A19, tau_A20, o_declined, x2_e_A19[25), And2(25]a2_s_A5, Xor2(26]x2_s_A20, tau_A21, a_declined, x2_e_A20[26), Xor2(26]x2_s_A21, tau_A22, w_nabellen_offertes, x2_e_A21[26), a2_e_A5[25), a2_e_A4[24), x2_e_A18[23), Xor2(23]x2_s_A22, tau_A23, o_sent_back, x2_e_A22[23)[22), And4(22]a4_s_A6, a_registered, a_approved, a_activated, Xor2(23]x2_s_A23, tau_A24, o_accepted, x2_e_A23[23), a4_e_A6[22), x2_e_A17[21), x2_e_A16[20), a2_e_A3[19), x2_e_A14[18), Xor2(18]x2_s_A24, tau_A25, o_cancelled, x2_e_A24[18)[17), x2_e_A13[16), a2_e_A2[15), Xor2(15]x2_s_A25, tau_A26, Loop(16]l_s_A6, w_wijzigen_contractgegevens, tau_A27[16), x2_e_A25[15)[14), x2_e_A11[13)[12), tau_A28[11)[10), a2_e_A1[9), x2_e_A6[8)[7), x2_e_A4[6), a2_e_A0[5), x2_e_A2[4)[3), tau_A29[2)[1)