------------------------------------------ {subsActivityBeforeActivity(a16,a16,8)} {} {} {redundant(x11,a6,endflow,36), redundant(x11,a6,endflow,55), compObjWrittenByActivityBeforeActivity(x11,a6,a11,10)}