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

{}

{}

{redundant(x5,a18,endflow,23), compObjWrittenByActivityBeforeActivity(x5,a18,endflow,34), compObjWrittenByActivityBeforeActivity(x5,a18,endflow,41), compObjWrittenByActivityBeforeActivity(x5,a18,a1,19), compObjWrittenByActivityBeforeActivity(x13,a18,endflow,23), compObjWrittenByActivityBeforeActivity(x13,a18,a9,25), compObjWrittenByActivityBeforeActivity(x14,a18,endflow,23)}

{redundant(x20,a4,endflow,26), redundant(x20,a4,endflow,39), redundant(x20,a4,endflow,47), redundant(x20,a4,endflow,58), redundant(x20,a4,a2,18), redundant(x20,a4,a15,34), redundant(x20,a4,a25,52), redundant(x20,a4,a3,54), redundant(x20,a4,a11,23), redundant(x20,a4,a11,37), redundant(x20,a4,a11,45), redundant(x20,a4,a11,57), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,39), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,47), compObjWrittenByActivityBeforeActivity(x16,a4,a1,20), compObjWrittenByActivityBeforeActivity(x20,a4,a22,9)}


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

{}

{}

{}

{}