------------------------------------------ {subsActivityBeforeActivity(a2,a2,11)} {} {} {redundant(x8,a2,endflow,131), redundant(x8,a2,endflow,140), redundant(x8,a2,endflow,149), redundant(x8,a2,endflow,157), redundant(x8,a2,endflow,166), redundant(x8,a2,endflow,175), redundant(x8,a2,a1,125), redundant(x8,a2,a12,127), redundant(x8,a2,a12,153), compObjWrittenByActivityBeforeActivity(x8,a2,a18,10), compObjWrittenByActivityBeforeActivity(x8,a2,a25,122)} {} ------------------------------------------ {} {} {} {} {}