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

{redundant(x3,a9,endflow,28), redundant(x3,a9,a4,27), compObjWrittenByActivityBeforeActivity(x3,a9,a14,22)}

{redundant(x22,a18,endflow,29), redundant(x22,a18,endflow,41), redundant(x22,a18,endflow,50), redundant(x22,a18,endflow,57), redundant(x22,a18,a17,44), redundant(x22,a18,a20,26), redundant(x22,a18,a20,38), redundant(x22,a18,a20,47), redundant(x22,a18,a20,54), compObjWrittenByActivityBeforeActivity(x22,a18,a12,19)}

{redundant(x21,a23,a18,10), redundant(x23,a23,a23,11), redundant(x23,a23,a23,26), compObjWrittenByActivityBeforeActivity(x12,a23,a7,22), compObjWrittenByActivityBeforeActivity(x21,a23,a13,8), compObjWrittenByActivityBeforeActivity(x23,a23,a9,9), compObjWrittenByActivityBeforeActivity(x23,a23,a25,17)}

{compObjWrittenByActivityBeforeActivity(x8,a20,a10,21), compObjWrittenByActivityBeforeActivity(x8,a20,a23,13), compObjWrittenByActivityBeforeActivity(x12,a20,a23,25)}


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

{}

{}

{}

{}