------------------------------------------
{subsActivityBeforeActivity(a16,a16,8)}

{}

{}

{redundant(x8,a17,endflow,42), redundant(x8,a17,a13,39), redundant(x13,a17,endflow,20), redundant(x13,a17,endflow,35), redundant(x13,a17,endflow,42), redundant(x16,a17,endflow,35), compObjWrittenByActivityBeforeActivity(x7,a17,endflow,20), compObjWrittenByActivityBeforeActivity(x8,a17,endflow,20), compObjWrittenByActivityBeforeActivity(x8,a17,endflow,35), compObjWrittenByActivityBeforeActivity(x8,a17,a20,37), compObjWrittenByActivityBeforeActivity(x13,a17,a6,10), compObjWrittenByActivityBeforeActivity(x16,a17,endflow,20), compObjWrittenByActivityBeforeActivity(x16,a17,endflow,42), compObjWrittenByActivityBeforeActivity(x16,a17,a3,33)}

{redundant(x2,a10,endflow,24), redundant(x2,a10,endflow,41), redundant(x2,a10,endflow,50), compObjWrittenByActivityBeforeActivity(x2,a10,a15,20), compObjWrittenByActivityBeforeActivity(x2,a10,a15,39), compObjWrittenByActivityBeforeActivity(x2,a10,a15,48)}


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

{}

{}

{}

{}