------------------------------------------
{subsActivityBeforeActivity(a22,a22,8), subsActivityBeforeActivity(a5,a5,12), subsActivityBeforeActivity(a5,a5,21), subsActivityBeforeActivity(a5,a5,38), subsActivityBeforeActivity(a5,a5,47), subsActivityBeforeActivity(a5,a5,57), subsActivityBeforeActivity(a5,a5,66)}

{}

{}

{redundant(x18,a21,endflow,29), redundant(x18,a21,a11,28), redundant(x21,a21,endflow,29), redundant(x21,a21,endflow,47), redundant(x21,a21,endflow,57), redundant(x21,a21,endflow,68), redundant(x21,a21,endflow,78), redundant(x21,a21,a5,42), redundant(x21,a21,a5,52), redundant(x21,a21,a5,63), redundant(x21,a21,a5,73), compObjWrittenByActivityBeforeActivity(x18,a21,a14,11), compObjWrittenByActivityBeforeActivity(x21,a21,a16,31), compObjWrittenByActivityBeforeActivity(x21,a21,a5,24), compObjWrittenByActivityBeforeActivity(x22,a21,a21,12)}

{compObjWrittenByActivityBeforeActivity(x13,a5,a7,39)}