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

{redundant(x11,a18,endflow,30), redundant(x11,a18,endflow,38), redundant(x11,a18,endflow,56), redundant(x11,a18,a24,49), redundant(x17,a18,endflow,22), redundant(x17,a18,endflow,30), redundant(x17,a18,endflow,45), redundant(x17,a18,endflow,56), redundant(x17,a18,a2,18), redundant(x17,a18,a3,41), compObjWrittenByActivityBeforeActivity(x11,a18,endflow,22), compObjWrittenByActivityBeforeActivity(x11,a18,endflow,45), compObjWrittenByActivityBeforeActivity(x11,a18,a15,25), compObjWrittenByActivityBeforeActivity(x11,a18,a12,48), compObjWrittenByActivityBeforeActivity(x17,a18,a19,15)}

{redundant(x14,a11,endflow,33), compObjWrittenByActivityBeforeActivity(x14,a11,endflow,24), compObjWrittenByActivityBeforeActivity(x14,a11,endflow,49), compObjWrittenByActivityBeforeActivity(x14,a11,endflow,61), compObjWrittenByActivityBeforeActivity(x14,a11,a23,26)}

{redundant(x2,a1,a1,32), compObjWrittenByActivityBeforeActivity(x1,a1,a13,39), compObjWrittenByActivityBeforeActivity(x1,a1,a12,56), compObjWrittenByActivityBeforeActivity(x2,a1,a16,31), compObjWrittenByActivityBeforeActivity(x2,a1,a1,10), compObjWrittenByActivityBeforeActivity(x2,a1,a1,20), compObjWrittenByActivityBeforeActivity(x2,a1,a1,40), compObjWrittenByActivityBeforeActivity(x2,a1,a1,47)}


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

{}

{}

{}