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

{}

{}

{redundant(x2,a10,endflow,32), redundant(x2,a10,endflow,53), compObjWrittenByActivityBeforeActivity(x2,a10,endflow,24), compObjWrittenByActivityBeforeActivity(x2,a10,endflow,35), compObjWrittenByActivityBeforeActivity(x2,a10,endflow,45), compObjWrittenByActivityBeforeActivity(x2,a10,endflow,56), compObjWrittenByActivityBeforeActivity(x2,a10,a24,27), compObjWrittenByActivityBeforeActivity(x2,a10,a24,48)}