------------------------------------------
{compObjWrittenByActivityBeforeActivity(x9,a9,a9,8), subsActivityBeforeActivity(a9,a9,8), subsActivityBeforeActivity(a16,a16,10)}

{}

{redundant(x4,a16,endflow,52), redundant(x4,a16,endflow,58), redundant(x4,a16,a24,57), redundant(x4,a16,a23,60), redundant(x22,a16,a10,42), compObjWrittenByActivityBeforeActivity(x4,a16,a22,39), compObjWrittenByActivityBeforeActivity(x9,a16,a9,8), compObjWrittenByActivityBeforeActivity(x9,a16,a16,13), compObjWrittenByActivityBeforeActivity(x9,a16,a22,39), compObjWrittenByActivityBeforeActivity(x21,a16,a14,43), compObjWrittenByActivityBeforeActivity(x22,a16,a22,39)}

{compObjWrittenByActivityBeforeActivity(x1,a6,a19,45)}

{compObjWrittenByActivityBeforeActivity(x8,a10,a10,17), compObjWrittenByActivityBeforeActivity(x8,a10,a10,48)}


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

{}

{}

{}

{}