Seq3(1]a_submitted, a_partlysubmitted, Loop(2]l_s_0, Seq2(3]Xor3(4]x3_s_0, w_afhandelen_leads, w_beoordelen_fraude, a_preaccepted, x3_e_0[4), Xor2(4]x2_s_1, tau_0, And2(5]a2_s_0, Xor2(6]x2_s_2, tau_1, Loop(7]l_s_1, w_completeren_aanvraag, tau_2[7), x2_e_2[6), Seq2(6]Xor2(7]x2_s_3, tau_3, a_accepted, x2_e_3[7), And2(7]a2_s_1, Xor2(8]x2_s_4, tau_4, Loop(9]l_s_2, o_selected, tau_5[9), x2_e_4[8), Seq2(8]Xor2(9]x2_s_5, tau_6, a_finalized, x2_e_5[9), Loop(9]l_s_3, Seq2(10]Xor2(11]x2_s_6, tau_7, Xor2(12]x2_s_7, a_cancelled, Seq2(13]o_created, o_sent[13), x2_e_7[12), x2_e_6[11), Seq2(11]Xor3(12]x3_s_8, Loop(13]l_s_4, Xor3(14]x3_s_9, Seq2(15]Xor2(16]x2_s_10, tau_8, o_sent_back, x2_e_10[16), Xor2(16]x2_s_11, And4(17]a4_s_2, Xor2(18]x2_s_12, tau_9, a_approved, x2_e_12[18), Xor2(18]x2_s_13, tau_10, a_activated, x2_e_13[18), Xor2(18]x2_s_14, tau_11, o_accepted, x2_e_14[18), And2(18]a2_s_3, Xor2(19]x2_s_15, tau_12, a_registered, x2_e_15[19), Xor2(19]x2_s_16, tau_13, Loop(20]l_s_5, w_valideren_aanvraag, tau_14[20), x2_e_16[19), a2_e_3[18), a4_e_2[17), w_nabellen_incomplete_dossiers, x2_e_11[16)[15), o_declined, a_declined, x3_e_9[14), tau_15[13), w_nabellen_offertes, o_cancelled, x3_e_8[12), Xor2(12]x2_s_17, tau_16, Loop(13]l_s_6, w_wijzigen_contractgegevens, tau_17[13), x2_e_17[12)[11)[10), tau_18[9)[8), a2_e_1[7)[6), a2_e_0[5), x2_e_1[4)[3), tau_19[2)[1)