------------------------------------------ {subsActivityBeforeActivity(a11,a11,8)} {} {redundant(x14,a11,endflow,26), redundant(x14,a11,endflow,38), redundant(x14,a11,endflow,41), redundant(x14,a11,endflow,48), redundant(x14,a11,endflow,51), redundant(x14,a11,a25,40), redundant(x14,a11,a25,50), compObjWrittenByActivityBeforeActivity(x14,a11,endflow,23), compObjWrittenByActivityBeforeActivity(x14,a11,a16,7), compObjWrittenByActivityBeforeActivity(x14,a11,a14,31), compObjWrittenByActivityBeforeActivity(x14,a11,a25,25), compObjWrittenByActivityBeforeActivity(x19,a11,endflow,23), compObjWrittenByActivityBeforeActivity(x19,a11,endflow,26)} ------------------------------------------ {} {} {}