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

{redundant(x3,a10,endflow,21), redundant(x3,a10,endflow,24), redundant(x11,a10,endflow,31), redundant(x11,a10,endflow,34), redundant(x11,a10,endflow,48), redundant(x11,a10,endflow,51), redundant(x11,a10,a17,38), compObjWrittenByActivityBeforeActivity(x3,a10,a21,18), compObjWrittenByActivityBeforeActivity(x3,a10,a22,39), compObjWrittenByActivityBeforeActivity(x3,a10,a22,55), compObjWrittenByActivityBeforeActivity(x11,a10,a24,15)}

{}