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

{redundant(x7,a21,endflow,16), redundant(x7,a21,endflow,24), redundant(x7,a21,a2,13), redundant(x7,a21,a11,21), redundant(x15,a21,endflow,45), redundant(x24,a21,endflow,24), compObjWrittenByActivityBeforeActivity(x7,a21,a20,11), compObjWrittenByActivityBeforeActivity(x15,a21,endflow,16), compObjWrittenByActivityBeforeActivity(x15,a21,endflow,24), compObjWrittenByActivityBeforeActivity(x15,a21,endflow,30), compObjWrittenByActivityBeforeActivity(x15,a21,endflow,38), compObjWrittenByActivityBeforeActivity(x15,a21,a14,41), compObjWrittenByActivityBeforeActivity(x24,a21,a25,12)}