------------------------------------------
{subsActivityBeforeActivity(a24,a24,7)}

{redundant(x8,a24,a16,23), redundant(x8,a24,a25,42), redundant(x8,a24,a17,43), redundant(x11,a24,endflow,30), redundant(x11,a24,endflow,34), redundant(x11,a24,endflow,37), redundant(x11,a24,endflow,67), redundant(x11,a24,endflow,71), redundant(x11,a24,endflow,74), redundant(x11,a24,a3,61), redundant(x11,a24,a12,29), redundant(x11,a24,a12,66), redundant(x23,a24,endflow,34), redundant(x23,a24,endflow,37), compObjWrittenByActivityBeforeActivity(x8,a24,a21,6), compObjWrittenByActivityBeforeActivity(x11,a24,a9,24), compObjWrittenByActivityBeforeActivity(x11,a24,a7,39), compObjWrittenByActivityBeforeActivity(x23,a24,a22,25)}

{}