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

{redundant(x2,a16,endflow,30), redundant(x2,a16,endflow,34), redundant(x2,a16,endflow,46), redundant(x2,a16,endflow,50), redundant(x24,a16,endflow,30), redundant(x24,a16,endflow,34), redundant(x24,a16,endflow,46), redundant(x24,a16,endflow,50), redundant(x24,a16,endflow,63), redundant(x24,a16,endflow,67), redundant(x24,a16,a14,52), compObjWrittenByActivityBeforeActivity(x1,a16,a16,8), compObjWrittenByActivityBeforeActivity(x2,a16,a3,25), compObjWrittenByActivityBeforeActivity(x2,a16,a3,41), compObjWrittenByActivityBeforeActivity(x24,a16,a25,21)}

{redundant(x12,a20,a7,60), compObjWrittenByActivityBeforeActivity(x12,a20,a21,57), compObjWrittenByActivityBeforeActivity(x17,a20,a24,40)}

{redundant(x3,a19,a4,29), redundant(x3,a19,a19,30), redundant(x3,a19,a19,48), compObjWrittenByActivityBeforeActivity(x3,a19,a9,25), compObjWrittenByActivityBeforeActivity(x3,a19,a14,57), compObjWrittenByActivityBeforeActivity(x3,a19,a4,47), compObjWrittenByActivityBeforeActivity(x3,a19,a19,12), compObjWrittenByActivityBeforeActivity(x14,a19,a4,29)}


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

{}

{}

{}