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

{}

{}

{redundant(x12,a10,endflow,17), redundant(x12,a10,endflow,22), redundant(x12,a10,endflow,25), redundant(x12,a10,endflow,38), redundant(x12,a10,endflow,41), redundant(x12,a10,a15,34), compObjWrittenByActivityBeforeActivity(x12,a10,a1,9)}