------------------------------------------
{}

{}

{compObjWrittenByActivityBeforeActivity(x13,a8,endflow,23), compObjWrittenByActivityBeforeActivity(x13,a8,endflow,30), compObjWrittenByActivityBeforeActivity(x13,a8,endflow,41), compObjWrittenByActivityBeforeActivity(x13,a8,endflow,48)}

{}

{redundant(x9,a16,a16,21), redundant(x9,a16,a16,41), redundant(x9,a16,a16,49), redundant(x14,a16,a1,39), redundant(x14,a16,a19,47), redundant(x14,a16,a16,41), redundant(x14,a16,a16,49), redundant(x14,a16,a16,59), redundant(x21,a16,a24,18), redundant(x21,a16,a4,26), redundant(x21,a16,a21,54), compObjWrittenByActivityBeforeActivity(x9,a16,a15,19), compObjWrittenByActivityBeforeActivity(x9,a16,a20,36), compObjWrittenByActivityBeforeActivity(x9,a16,a16,12), compObjWrittenByActivityBeforeActivity(x9,a16,a16,29), compObjWrittenByActivityBeforeActivity(x14,a16,a25,35), compObjWrittenByActivityBeforeActivity(x14,a16,a16,12), compObjWrittenByActivityBeforeActivity(x14,a16,a16,21), compObjWrittenByActivityBeforeActivity(x14,a16,a16,29), compObjWrittenByActivityBeforeActivity(x21,a16,a9,17)}


------------------------------------------
{}

{}

{}

{}

{}