------------------------------------------
{subsActivityBeforeActivity(a24,a24,13), subsActivityBeforeActivity(a24,a24,19), subsActivityBeforeActivity(a24,a24,35), subsActivityBeforeActivity(a24,a24,41), subsActivityBeforeActivity(a24,a24,52), subsActivityBeforeActivity(a24,a24,58), subsActivityBeforeActivity(a24,a24,67), subsActivityBeforeActivity(a24,a24,73)}

{redundant(x25,a9,endflow,41), redundant(x25,a9,endflow,48), redundant(x25,a9,a19,50), compObjWrittenByActivityBeforeActivity(x25,a9,a21,33)}

{redundant(x5,a15,endflow,42), redundant(x5,a15,endflow,49), redundant(x5,a15,endflow,61), redundant(x5,a15,endflow,68), redundant(x5,a15,endflow,78), redundant(x5,a15,endflow,85), redundant(x5,a15,a12,31), redundant(x5,a15,a8,32), redundant(x5,a15,a25,70), compObjWrittenByActivityBeforeActivity(x5,a15,a5,30)}

{}

{redundant(x17,a24,a3,38), compObjWrittenByActivityBeforeActivity(x3,a24,a15,10), compObjWrittenByActivityBeforeActivity(x17,a24,a23,28), compObjWrittenByActivityBeforeActivity(x17,a24,a3,12)}


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

{}

{}

{}

{}