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

{redundant(x9,a12,endflow,41), redundant(x13,a12,endflow,49), redundant(x13,a12,a20,45), compObjWrittenByActivityBeforeActivity(x9,a12,endflow,15), compObjWrittenByActivityBeforeActivity(x9,a12,a7,38), compObjWrittenByActivityBeforeActivity(x13,a12,endflow,41), compObjWrittenByActivityBeforeActivity(x13,a12,a9,43), compObjWrittenByActivityBeforeActivity(x15,a12,endflow,15), compObjWrittenByActivityBeforeActivity(x15,a12,endflow,23), compObjWrittenByActivityBeforeActivity(x15,a12,endflow,28), compObjWrittenByActivityBeforeActivity(x15,a12,endflow,41), compObjWrittenByActivityBeforeActivity(x15,a12,endflow,49), compObjWrittenByActivityBeforeActivity(x15,a12,endflow,54)}


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

{}