------------------------------------------
{subsActivityBeforeActivity(a7,a7,7), subsActivityBeforeActivity(a11,a11,10), subsActivityBeforeActivity(a11,a11,32), subsActivityBeforeActivity(a11,a11,48), subsActivityBeforeActivity(a11,a11,65)}

{}

{redundant(x13,a24,endflow,40), redundant(x13,a24,endflow,44), redundant(x13,a24,endflow,47), redundant(x13,a24,endflow,57), redundant(x13,a24,endflow,61), redundant(x13,a24,endflow,64), redundant(x13,a24,endflow,75), redundant(x13,a24,endflow,79), redundant(x13,a24,endflow,82), redundant(x20,a24,endflow,57), redundant(x20,a24,endflow,61), redundant(x20,a24,endflow,64), redundant(x20,a24,endflow,75), redundant(x20,a24,endflow,79), redundant(x20,a24,endflow,82), compObjWrittenByActivityBeforeActivity(x1,a24,a16,29), compObjWrittenByActivityBeforeActivity(x13,a24,a25,32), compObjWrittenByActivityBeforeActivity(x20,a24,a14,30)}

{compObjWrittenByActivityBeforeActivity(x1,a11,a24,29), compObjWrittenByActivityBeforeActivity(x11,a11,a11,12), compObjWrittenByActivityBeforeActivity(x11,a11,a11,38), compObjWrittenByActivityBeforeActivity(x11,a11,a11,55), compObjWrittenByActivityBeforeActivity(x11,a11,a11,73), compObjWrittenByActivityBeforeActivity(x25,a11,a1,27)}