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

{}

{redundant(19), compObjWrittenByActivityBeforeActivity(x3,a1,a5,9), compObjWrittenByActivityBeforeActivity(x7,a1,a11,18), compObjWrittenByActivityBeforeActivity(x7,a1,a12,26), compObjWrittenByActivityBeforeActivity(x17,a1,endflow,23), compObjWrittenByActivityBeforeActivity(x17,a1,endflow,30)}

{compObjWrittenByActivityBeforeActivity(x3,a8,a1,9), compObjWrittenByActivityBeforeActivity(x11,a8,endflow,26), compObjWrittenByActivityBeforeActivity(x11,a8,endflow,35)}

{redundant(15), redundant(23), redundant(24), redundant(33), redundant(34), compObjWrittenByActivityBeforeActivity(x9,a2,a8,14), compObjWrittenByActivityBeforeActivity(x12,a2,a1,13), compObjWrittenByActivityBeforeActivity(x13,a2,a12,22), compObjWrittenByActivityBeforeActivity(x13,a2,a12,32), compObjWrittenByActivityBeforeActivity(x15,a2,a9,12)}

{compObjWrittenByActivityBeforeActivity(x3,a4,a8,9), compObjWrittenByActivityBeforeActivity(x7,a4,a1,23), compObjWrittenByActivityBeforeActivity(x7,a4,a1,35), compObjWrittenByActivityBeforeActivity(x19,a4,a3,34)}

