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

{redundant(x17,a6,endflow,23), redundant(x17,a6,endflow,32), redundant(x17,a6,endflow,38), redundant(x17,a6,endflow,52), redundant(x17,a6,endflow,61), redundant(x17,a6,endflow,67), redundant(x24,a6,endflow,23), redundant(x24,a6,endflow,32), redundant(x24,a6,endflow,38), redundant(x24,a6,endflow,45), redundant(x24,a6,endflow,52), redundant(x24,a6,endflow,61), redundant(x24,a6,endflow,67), redundant(x24,a6,a23,49), redundant(x24,a6,a17,22), redundant(x24,a6,a17,51), redundant(x24,a6,a11,34), redundant(x24,a6,a11,63), compObjWrittenByActivityBeforeActivity(x17,a6,endflow,16), compObjWrittenByActivityBeforeActivity(x17,a6,endflow,45), compObjWrittenByActivityBeforeActivity(x17,a6,a7,21), compObjWrittenByActivityBeforeActivity(x17,a6,a7,50), compObjWrittenByActivityBeforeActivity(x24,a6,endflow,16), compObjWrittenByActivityBeforeActivity(x24,a6,a24,42), compObjWrittenByActivityBeforeActivity(x24,a6,a23,20)}

{redundant(x2,a22,endflow,18), redundant(x2,a22,endflow,27), redundant(x2,a22,endflow,36), redundant(x2,a22,endflow,42), redundant(x2,a22,endflow,68), redundant(x2,a22,a8,32), redundant(x19,a22,endflow,27), redundant(x19,a22,endflow,36), redundant(x19,a22,endflow,42), compObjWrittenByActivityBeforeActivity(x2,a22,endflow,51), compObjWrittenByActivityBeforeActivity(x2,a22,endflow,59), compObjWrittenByActivityBeforeActivity(x2,a22,endflow,74), compObjWrittenByActivityBeforeActivity(x2,a22,a9,13), compObjWrittenByActivityBeforeActivity(x2,a22,a8,64), compObjWrittenByActivityBeforeActivity(x4,a22,endflow,18), compObjWrittenByActivityBeforeActivity(x4,a22,endflow,27), compObjWrittenByActivityBeforeActivity(x4,a22,a8,32), compObjWrittenByActivityBeforeActivity(x19,a22,a12,15), compObjWrittenByActivityBeforeActivity(x19,a22,a14,21)}


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

{}

{}