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

{}

{}

{redundant(x14,a13,endflow,26), redundant(x14,a13,endflow,36), compObjWrittenByActivityBeforeActivity(x14,a13,a9,19), compObjWrittenByActivityBeforeActivity(x14,a13,a16,29), compObjWrittenByActivityBeforeActivity(x22,a13,a12,41), compObjWrittenByActivityBeforeActivity(x23,a13,endflow,36), compObjWrittenByActivityBeforeActivity(x23,a13,endflow,54), compObjWrittenByActivityBeforeActivity(x23,a13,endflow,63), compObjWrittenByActivityBeforeActivity(x25,a13,a23,20), compObjWrittenByActivityBeforeActivity(x25,a13,a23,30)}


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

{}

{}

{}