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

{redundant(x21,a10,endflow,42), redundant(x21,a10,endflow,62), redundant(x21,a10,endflow,83), redundant(x21,a10,endflow,104), compObjWrittenByActivityBeforeActivity(x21,a10,endflow,35), compObjWrittenByActivityBeforeActivity(x21,a10,endflow,55), compObjWrittenByActivityBeforeActivity(x21,a10,endflow,76), compObjWrittenByActivityBeforeActivity(x21,a10,endflow,97), compObjWrittenByActivityBeforeActivity(x21,a10,a11,37), compObjWrittenByActivityBeforeActivity(x21,a10,a11,57), compObjWrittenByActivityBeforeActivity(x21,a10,a11,78), compObjWrittenByActivityBeforeActivity(x21,a10,a11,99)}