------------------------------------------
{subsActivityBeforeActivity(a16,a16,7)}

{redundant(x12,a16,endflow,20), redundant(x12,a16,endflow,28), redundant(x12,a16,endflow,34), redundant(x12,a16,endflow,39), redundant(x12,a16,endflow,41), redundant(x12,a16,a13,31), redundant(x12,a16,a1,33), compObjWrittenByActivityBeforeActivity(x12,a16,a9,12)}

{redundant(x6,a22,endflow,21), redundant(x6,a22,a8,19), compObjWrittenByActivityBeforeActivity(x6,a22,a9,13)}


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

{}

{}