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

{redundant(x2,a24,a11,20), redundant(x2,a24,a14,23), redundant(x21,a24,endflow,59), redundant(x21,a24,endflow,63), redundant(x21,a24,endflow,69), redundant(x21,a24,endflow,73), compObjWrittenByActivityBeforeActivity(x2,a24,a7,18), compObjWrittenByActivityBeforeActivity(x20,a24,a16,25), compObjWrittenByActivityBeforeActivity(x21,a24,a19,53)}

{redundant(x9,a15,endflow,37), redundant(x9,a15,endflow,41), redundant(x9,a15,endflow,47), redundant(x9,a15,endflow,51), redundant(x9,a15,endflow,62), redundant(x9,a15,endflow,66), redundant(x9,a15,endflow,72), redundant(x9,a15,endflow,76), redundant(x9,a15,a10,53), redundant(x9,a15,a4,43), redundant(x9,a15,a4,68), redundant(x24,a15,endflow,37), redundant(x24,a15,endflow,41), redundant(x24,a15,endflow,47), redundant(x24,a15,endflow,51), redundant(x24,a15,endflow,62), redundant(x24,a15,endflow,66), redundant(x24,a15,endflow,72), redundant(x24,a15,endflow,76), redundant(x24,a15,a3,32), redundant(x24,a15,a3,57), compObjWrittenByActivityBeforeActivity(x9,a15,a5,20), compObjWrittenByActivityBeforeActivity(x24,a15,a12,22)}