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

{redundant(x11,a3,endflow,28), redundant(x11,a3,endflow,36), redundant(x24,a3,a8,10), compObjWrittenByActivityBeforeActivity(x9,a3,a3,6), compObjWrittenByActivityBeforeActivity(x9,a3,a9,12), compObjWrittenByActivityBeforeActivity(x11,a3,endflow,22), compObjWrittenByActivityBeforeActivity(x11,a3,endflow,40), compObjWrittenByActivityBeforeActivity(x11,a3,a17,25), compObjWrittenByActivityBeforeActivity(x24,a3,a20,5)}