------------------------------------------
{subsActivityBeforeActivity(a4,a4,6), subsActivityBeforeActivity(a20,a20,8)}

{}

{redundant(x28,a20,endflow,15), redundant(x28,a20,endflow,24), redundant(x28,a20,endflow,30), redundant(x28,a20,endflow,38), redundant(x28,a20,endflow,45), redundant(x28,a20,a25,18), redundant(x28,a20,a42,23), redundant(x28,a20,a29,27), redundant(x33,a20,endflow,55), redundant(x33,a20,a16,50), compObjWrittenByActivityBeforeActivity(x28,a20,a20,10), compObjWrittenByActivityBeforeActivity(x28,a20,a44,13), compObjWrittenByActivityBeforeActivity(x33,a20,endflow,15), compObjWrittenByActivityBeforeActivity(x33,a20,endflow,30), compObjWrittenByActivityBeforeActivity(x33,a20,endflow,38), compObjWrittenByActivityBeforeActivity(x33,a20,endflow,45), compObjWrittenByActivityBeforeActivity(x33,a20,a12,47)}