------------------------------------------
{subsActivityBeforeActivity(a23,a23,8)}

{redundant(x4,a11,a11,10), compObjWrittenByActivityBeforeActivity(x4,a11,a23,9)}

{}

{}

{redundant(x12,a16,endflow,29), redundant(x12,a16,endflow,34), redundant(x12,a16,endflow,38), redundant(x12,a16,endflow,42), redundant(x24,a16,endflow,34), redundant(x24,a16,endflow,38), redundant(x24,a16,endflow,42), redundant(x24,a16,a21,41), compObjWrittenByActivityBeforeActivity(x12,a16,a9,21), compObjWrittenByActivityBeforeActivity(x21,a16,a1,12), compObjWrittenByActivityBeforeActivity(x24,a16,endflow,29), compObjWrittenByActivityBeforeActivity(x24,a16,a4,32), compObjWrittenByActivityBeforeActivity(x24,a16,a12,40)}


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

{}

{}

{}

{}