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

{}

{redundant(x18,a7,endflow,18), redundant(x18,a7,endflow,23), compObjWrittenByActivityBeforeActivity(x6,a7,endflow,23), compObjWrittenByActivityBeforeActivity(x6,a7,endflow,36), compObjWrittenByActivityBeforeActivity(x6,a7,endflow,40), compObjWrittenByActivityBeforeActivity(x12,a7,endflow,18), compObjWrittenByActivityBeforeActivity(x12,a7,endflow,23), compObjWrittenByActivityBeforeActivity(x12,a7,endflow,36), compObjWrittenByActivityBeforeActivity(x12,a7,endflow,40), compObjWrittenByActivityBeforeActivity(x18,a7,a20,7)}


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

{}

{}