------------------------------------------
{subsActivityBeforeActivity(a25,a25,10), subsActivityBeforeActivity(a22,a22,11)}

{}

{}

{redundant(x19,a22,endflow,28), redundant(x19,a22,endflow,36), redundant(x19,a22,endflow,47), redundant(x19,a22,endflow,57), redundant(x19,a22,endflow,64), redundant(x19,a22,a13,39), redundant(x19,a22,a8,50), compObjWrittenByActivityBeforeActivity(x19,a22,a24,8)}

{compObjWrittenByActivityBeforeActivity(x23,a7,a13,40)}