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

{redundant(x3,a23,endflow,55), redundant(x3,a23,endflow,59), redundant(x3,a23,endflow,62), redundant(x3,a23,a18,46), redundant(x3,a23,a14,48), redundant(x3,a23,a15,69), redundant(x3,a23,a9,57), redundant(x3,a23,a22,58), redundant(x21,a23,endflow,55), redundant(x21,a23,endflow,59), redundant(x21,a23,endflow,62), redundant(x21,a23,a10,61), compObjWrittenByActivityBeforeActivity(x3,a23,a11,6), compObjWrittenByActivityBeforeActivity(x21,a23,a5,49)}

{}