------------------------------------------
{compObjWrittenByActivityBeforeActivity(x6,a2,a2,7), subsActivityBeforeActivity(a11,a11,8)}

{compObjWrittenByActivityBeforeActivity(x13,a11,a11,10)}

{}

{redundant(x12,a9,endflow,33), redundant(x12,a9,endflow,41), redundant(x12,a9,endflow,80), redundant(x12,a9,endflow,88), redundant(x12,a9,a16,28), redundant(x20,a9,a23,31), redundant(x20,a9,a23,47), redundant(x20,a9,a23,78), redundant(x20,a9,a1,37), redundant(x20,a9,a1,53), redundant(x20,a9,a1,84), compObjWrittenByActivityBeforeActivity(x12,a9,a7,12), compObjWrittenByActivityBeforeActivity(x20,a9,a24,30), compObjWrittenByActivityBeforeActivity(x20,a9,a24,46), compObjWrittenByActivityBeforeActivity(x20,a9,a24,77)}


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

{}

{}

{}