------------------------------------------
{subsActivityBeforeActivity(a22,a22,9)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x13,a13,a24,12), compObjWrittenByActivityBeforeActivity(x19,a13,a22,10)}

{}

{redundant(x2,a14,endflow,27), redundant(x2,a14,endflow,40), redundant(x2,a14,endflow,44), redundant(x6,a14,endflow,27), redundant(x6,a14,endflow,31), redundant(x6,a14,endflow,40), redundant(x6,a14,endflow,44), redundant(x6,a14,endflow,46), redundant(x6,a14,a16,20), redundant(x8,a14,endflow,27), redundant(x8,a14,endflow,31), redundant(x8,a14,endflow,46), redundant(x8,a14,a5,25), compObjWrittenByActivityBeforeActivity(x2,a14,endflow,31), compObjWrittenByActivityBeforeActivity(x2,a14,endflow,46), compObjWrittenByActivityBeforeActivity(x2,a14,a17,26), compObjWrittenByActivityBeforeActivity(x2,a14,a4,36), compObjWrittenByActivityBeforeActivity(x6,a14,a23,16), compObjWrittenByActivityBeforeActivity(x8,a14,a19,24)}