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

{redundant(x1,a7,endflow,47), redundant(x1,a7,endflow,56), redundant(x1,a7,endflow,60), redundant(x1,a7,endflow,64), redundant(x1,a7,endflow,68), redundant(x1,a7,a23,59), compObjWrittenByActivityBeforeActivity(x1,a7,a24,43)}