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

{}

{}

{redundant(x6,a24,endflow,66), redundant(x6,a24,endflow,73), redundant(x6,a24,endflow,78), redundant(x6,a24,endflow,87), redundant(x6,a24,endflow,94), redundant(x6,a24,endflow,99), redundant(x13,a24,endflow,73), redundant(x13,a24,endflow,78), redundant(x13,a24,endflow,94), redundant(x13,a24,endflow,99), redundant(x18,a24,endflow,87), redundant(x18,a24,endflow,94), redundant(x18,a24,endflow,99), redundant(x18,a24,a14,90), compObjWrittenByActivityBeforeActivity(x6,a24,a20,58), compObjWrittenByActivityBeforeActivity(x13,a24,endflow,66), compObjWrittenByActivityBeforeActivity(x13,a24,endflow,87), compObjWrittenByActivityBeforeActivity(x13,a24,a3,70), compObjWrittenByActivityBeforeActivity(x13,a24,a3,91), compObjWrittenByActivityBeforeActivity(x15,a24,a24,11), compObjWrittenByActivityBeforeActivity(x18,a24,a12,55)}

{}


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

{}

{}

{}

{}