------------------------------------------
{compObjWrittenByActivityBeforeActivity(x16,a24,a24,8)}

{}

{}

{}

{redundant(x2,a5,a8,29), redundant(x18,a5,endflow,37), redundant(x18,a5,endflow,49), redundant(x18,a5,a10,34), redundant(x18,a5,a10,46), redundant(x18,a5,a19,39), redundant(x18,a5,a19,51), redundant(x18,a5,a18,40), redundant(x18,a5,a18,52), redundant(x18,a5,a17,41), redundant(x18,a5,a17,53), compObjWrittenByActivityBeforeActivity(x2,a5,a22,10), compObjWrittenByActivityBeforeActivity(x13,a5,endflow,37), compObjWrittenByActivityBeforeActivity(x13,a5,endflow,42), compObjWrittenByActivityBeforeActivity(x13,a5,endflow,49), compObjWrittenByActivityBeforeActivity(x13,a5,endflow,54), compObjWrittenByActivityBeforeActivity(x18,a5,a11,30)}


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

{}

{}

{}

{}