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

{}

{redundant(x13,a24,endflow,33), redundant(x13,a24,endflow,60), redundant(x14,a24,endflow,18), redundant(x14,a24,endflow,26), redundant(x14,a24,endflow,36), redundant(x14,a24,endflow,45), redundant(x14,a24,endflow,53), redundant(x14,a24,endflow,63), redundant(x14,a24,a5,15), redundant(x14,a24,a5,42), redundant(x14,a24,a8,28), redundant(x14,a24,a8,55), redundant(x18,a24,endflow,18), redundant(x18,a24,endflow,26), redundant(x18,a24,endflow,33), redundant(x18,a24,endflow,36), redundant(x18,a24,a2,11), redundant(x18,a24,a12,13), compObjWrittenByActivityBeforeActivity(x13,a24,endflow,18), compObjWrittenByActivityBeforeActivity(x13,a24,endflow,36), compObjWrittenByActivityBeforeActivity(x13,a24,endflow,45), compObjWrittenByActivityBeforeActivity(x13,a24,endflow,63), compObjWrittenByActivityBeforeActivity(x13,a24,a3,32), compObjWrittenByActivityBeforeActivity(x13,a24,a3,59), compObjWrittenByActivityBeforeActivity(x14,a24,a7,6), compObjWrittenByActivityBeforeActivity(x18,a24,a6,7)}


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

{}

{}