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

{}

{redundant(24), compObjWrittenByActivityBeforeActivity(x7,a1,endflow,30), compObjWrittenByActivityBeforeActivity(x7,a1,a1,11), compObjWrittenByActivityBeforeActivity(x7,a1,a3,20)}

{redundant(26), redundant(33), compObjWrittenByActivityBeforeActivity(x1,a4,a1,12), compObjWrittenByActivityBeforeActivity(x9,a4,a5,10)}

{}

{redundant(21), redundant(30), compObjWrittenByActivityBeforeActivity(x6,a2,a9,9), compObjWrittenByActivityBeforeActivity(x8,a2,a2,17), compObjWrittenByActivityBeforeActivity(x10,a2,a6,22)}

