Seq3(1]a_submitted, a_partlysubmitted, Loop(2]l_s_B0, Seq2(3]Xor3(4]x3_s_B0, w_afhandelen_leads, w_beoordelen_fraude, a_preaccepted, x3_e_B0[4), Xor2(4]x2_s_B1, tau_B0, And2(5]a2_s_B0, Xor2(6]x2_s_B2, tau_B1, Loop(7]l_s_B1, w_completeren_aanvraag, tau_B2[7), x2_e_B2[6), Seq2(6]Xor2(7]x2_s_B3, tau_B3, a_accepted, x2_e_B3[7), And2(7]a2_s_B1, Xor2(8]x2_s_B4, tau_B4, Loop(9]l_s_B2, o_selected, tau_B5[9), x2_e_B4[8), Seq2(8]Xor2(9]x2_s_B5, tau_B6, a_finalized, x2_e_B5[9), Loop(9]l_s_B3, Seq2(10]Xor2(11]x2_s_B6, tau_B7, Xor2(12]x2_s_B7, a_cancelled, Seq2(13]o_created, o_sent[13), x2_e_B7[12), x2_e_B6[11), Seq2(11]Xor3(12]x3_s_B8, Loop(13]l_s_B4, Xor3(14]x3_s_B9, Seq2(15]Xor2(16]x2_s_B10, tau_B8, o_sent_back, x2_e_B10[16), Xor2(16]x2_s_B11, And4(17]a4_s_B2, Xor2(18]x2_s_B12, tau_B9, a_approved, x2_e_B12[18), Xor2(18]x2_s_B13, tau_B10, a_activated, x2_e_B13[18), Xor2(18]x2_s_B14, tau_B11, o_accepted, x2_e_B14[18), And2(18]a2_s_B3, Xor2(19]x2_s_B15, tau_B12, a_registered, x2_e_B15[19), Xor2(19]x2_s_B16, tau_B13, Loop(20]l_s_B5, w_valideren_aanvraag, tau_B14[20), x2_e_B16[19), a2_e_B3[18), a4_e_B2[17), w_nabellen_incomplete_dossiers, x2_e_B11[16)[15), o_declined, a_declined, x3_e_B9[14), tau_B15[13), w_nabellen_offertes, o_cancelled, x3_e_B8[12), Xor2(12]x2_s_B17, tau_B16, Loop(13]l_s_B6, w_wijzigen_contractgegevens, tau_B17[13), x2_e_B17[12)[11)[10), tau_B18[9)[8), a2_e_B1[7)[6), a2_e_B0[5), x2_e_B1[4)[3), tau_B19[2)[1)