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

{redundant(x8,a5,endflow,29), redundant(x8,a5,endflow,32), redundant(x8,a5,endflow,50), redundant(x8,a5,endflow,53), redundant(x8,a5,a25,35), compObjWrittenByActivityBeforeActivity(x8,a5,a5,6), compObjWrittenByActivityBeforeActivity(x8,a5,a12,34), compObjWrittenByActivityBeforeActivity(x8,a5,a25,14)}


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

{}