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

{}

{redundant(x7,a3,a15,14), redundant(x7,a3,a11,15), redundant(x16,a3,endflow,26), redundant(x16,a3,endflow,30), redundant(x16,a3,endflow,44), redundant(x16,a3,endflow,48), redundant(x16,a3,endflow,60), redundant(x16,a3,endflow,64), redundant(x16,a3,a15,14), redundant(x16,a3,a17,32), redundant(x16,a3,a9,20), redundant(x16,a3,a9,38), redundant(x16,a3,a9,54), compObjWrittenByActivityBeforeActivity(x7,a3,a8,7), compObjWrittenByActivityBeforeActivity(x16,a3,a25,11)}


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

{}

{}