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

{}

{redundant(x20,a22,endflow,37), redundant(x20,a22,a8,30), redundant(x20,a22,a13,32), compObjWrittenByActivityBeforeActivity(x17,a22,endflow,24), compObjWrittenByActivityBeforeActivity(x19,a22,endflow,24), compObjWrittenByActivityBeforeActivity(x20,a22,endflow,24), compObjWrittenByActivityBeforeActivity(x20,a22,a22,9), compObjWrittenByActivityBeforeActivity(x20,a22,a4,29)}

{redundant(x1,a7,a7,41), compObjWrittenByActivityBeforeActivity(x1,a7,a6,40), compObjWrittenByActivityBeforeActivity(x1,a7,a7,11), compObjWrittenByActivityBeforeActivity(x1,a7,a7,24)}


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

{}

{}

{}