------------------------------------------
{subsActivityBeforeActivity(a6,a6,6)}

{redundant(x4,a6,endflow,38), redundant(x4,a6,endflow,63), redundant(x4,a6,a11,40), redundant(x4,a6,a11,65), redundant(x8,a6,endflow,38), redundant(x8,a6,endflow,48), redundant(x8,a6,endflow,51), redundant(x8,a6,endflow,63), redundant(x8,a6,endflow,73), redundant(x8,a6,endflow,76), redundant(x8,a6,a13,58), redundant(x8,a6,a11,40), redundant(x8,a6,a11,65), redundant(x25,a6,a1,30), redundant(x25,a6,a22,31), compObjWrittenByActivityBeforeActivity(x4,a6,a24,32), compObjWrittenByActivityBeforeActivity(x4,a6,a24,57), compObjWrittenByActivityBeforeActivity(x8,a6,a15,53), compObjWrittenByActivityBeforeActivity(x8,a6,a13,33), compObjWrittenByActivityBeforeActivity(x25,a6,a7,5)}