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

{}

{}

{}

{redundant(x14,a24,endflow,53), redundant(x14,a24,endflow,58), redundant(x14,a24,endflow,65), redundant(x14,a24,endflow,70), redundant(x14,a24,a9,11), redundant(x14,a24,a10,52), redundant(x14,a24,a10,57), redundant(x14,a24,a10,64), redundant(x14,a24,a10,69), redundant(x25,a24,endflow,58), redundant(x25,a24,endflow,65), redundant(x25,a24,endflow,70), redundant(x25,a24,a1,62), compObjWrittenByActivityBeforeActivity(x14,a24,a6,10), compObjWrittenByActivityBeforeActivity(x25,a24,a23,9)}