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

{redundant(x13,a24,endflow,30), redundant(x13,a24,endflow,51), redundant(x13,a24,endflow,61), redundant(x13,a24,a1,43), redundant(x16,a24,endflow,30), redundant(x16,a24,endflow,40), redundant(x16,a24,endflow,51), redundant(x16,a24,endflow,61), redundant(x16,a24,a19,19), redundant(x16,a24,a14,44), compObjWrittenByActivityBeforeActivity(x1,a24,endflow,30), compObjWrittenByActivityBeforeActivity(x1,a24,endflow,40), compObjWrittenByActivityBeforeActivity(x1,a24,endflow,61), compObjWrittenByActivityBeforeActivity(x7,a24,a3,18), compObjWrittenByActivityBeforeActivity(x13,a24,a19,19), compObjWrittenByActivityBeforeActivity(x16,a24,a5,15)}


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

{}