------------------------------------------
{subsActivityBeforeActivity(a20,a20,7), subsActivityBeforeActivity(a1,a1,8)}

{}

{}

{redundant(x4,a14,endflow,24), redundant(x4,a14,a22,31), redundant(x10,a14,endflow,19), redundant(x10,a14,endflow,37), redundant(x10,a14,endflow,40), redundant(x21,a14,endflow,19), redundant(x21,a14,endflow,24), redundant(x21,a14,a21,11), redundant(x21,a14,a12,30), compObjWrittenByActivityBeforeActivity(x4,a14,endflow,19), compObjWrittenByActivityBeforeActivity(x4,a14,a14,12), compObjWrittenByActivityBeforeActivity(x4,a14,a9,21), compObjWrittenByActivityBeforeActivity(x10,a14,endflow,24), compObjWrittenByActivityBeforeActivity(x10,a14,a2,18), compObjWrittenByActivityBeforeActivity(x10,a14,a8,26), compObjWrittenByActivityBeforeActivity(x21,a14,a20,8)}


------------------------------------------
{}

{}

{}

{}