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

{}

{}

{redundant(x1,a1,endflow,33), redundant(x1,a1,endflow,37), redundant(x1,a1,endflow,46), redundant(x1,a1,endflow,50), redundant(x8,a1,endflow,15), redundant(x8,a1,endflow,18), redundant(x8,a1,a8,17), redundant(x12,a1,endflow,15), redundant(x12,a1,endflow,18), redundant(x12,a1,endflow,46), redundant(x12,a1,endflow,50), redundant(x12,a1,a2,20), compObjWrittenByActivityBeforeActivity(x1,a1,endflow,15), compObjWrittenByActivityBeforeActivity(x1,a1,endflow,18), compObjWrittenByActivityBeforeActivity(x1,a1,a3,22), compObjWrittenByActivityBeforeActivity(x8,a1,a10,7), compObjWrittenByActivityBeforeActivity(x12,a1,a12,8)}