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

{redundant(x17,a13,endflow,46), redundant(x17,a13,endflow,54), redundant(x17,a13,endflow,61), redundant(x17,a13,endflow,69), redundant(x17,a13,endflow,77), redundant(x17,a13,endflow,85), redundant(x17,a13,endflow,92), redundant(x17,a13,endflow,100), redundant(x17,a13,a10,45), redundant(x17,a13,a10,76), redundant(x17,a13,a12,66), redundant(x17,a13,a12,97), compObjWrittenByActivityBeforeActivity(x17,a13,a13,8), compObjWrittenByActivityBeforeActivity(x17,a13,a23,38), compObjWrittenByActivityBeforeActivity(x24,a13,endflow,46), compObjWrittenByActivityBeforeActivity(x24,a13,endflow,54), compObjWrittenByActivityBeforeActivity(x24,a13,endflow,61), compObjWrittenByActivityBeforeActivity(x24,a13,endflow,77), compObjWrittenByActivityBeforeActivity(x24,a13,endflow,85), compObjWrittenByActivityBeforeActivity(x24,a13,endflow,92)}

{}

{}