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

{}

{redundant(x3,a10,endflow,18), redundant(x3,a10,endflow,25), redundant(x3,a10,endflow,31), redundant(x3,a10,endflow,38), redundant(x3,a10,endflow,41), redundant(x3,a10,a8,22), redundant(x3,a10,a21,27), redundant(x3,a10,a3,28), redundant(x3,a10,a2,36), redundant(x17,a10,endflow,41), compObjWrittenByActivityBeforeActivity(x3,a10,a6,7), compObjWrittenByActivityBeforeActivity(x10,a10,endflow,18), compObjWrittenByActivityBeforeActivity(x10,a10,endflow,41), compObjWrittenByActivityBeforeActivity(x17,a10,endflow,18), compObjWrittenByActivityBeforeActivity(x17,a10,endflow,25), compObjWrittenByActivityBeforeActivity(x17,a10,endflow,31), compObjWrittenByActivityBeforeActivity(x17,a10,endflow,38), compObjWrittenByActivityBeforeActivity(x17,a10,a22,40)}

{redundant(x5,a18,endflow,21), redundant(x5,a18,endflow,29), redundant(x5,a18,endflow,36), redundant(x5,a18,endflow,44), redundant(x5,a18,endflow,49), redundant(x5,a18,a5,42), compObjWrittenByActivityBeforeActivity(x5,a18,a7,14), compObjWrittenByActivityBeforeActivity(x8,a18,endflow,21), compObjWrittenByActivityBeforeActivity(x8,a18,endflow,49), compObjWrittenByActivityBeforeActivity(x8,a18,a18,11), compObjWrittenByActivityBeforeActivity(x23,a18,endflow,21), compObjWrittenByActivityBeforeActivity(x23,a18,endflow,49)}


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

{}

{}

{}