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

{}

{compObjWrittenByActivityBeforeActivity(x12,a6,endflow,28)}

{redundant(22), redundant(24), redundant(29), compObjWrittenByActivityBeforeActivity(x11,a1,a7,9), compObjWrittenByActivityBeforeActivity(x18,a1,a10,25)}

{compObjWrittenByActivityBeforeActivity(x17,a9,a4,18)}

{}

