------------------------------------------ {subsActivityBeforeActivity(a3,a3,8)} {compObjWrittenByActivityBeforeActivity(x4,a21,a3,9), compObjWrittenByActivityBeforeActivity(x12,a21,a3,9)} {} {redundant(x8,a18,endflow,22), redundant(x8,a18,endflow,29), redundant(x8,a18,endflow,35), redundant(x8,a18,endflow,41), redundant(x8,a18,a19,40), compObjWrittenByActivityBeforeActivity(x8,a18,a8,39), compObjWrittenByActivityBeforeActivity(x8,a18,a19,21), compObjWrittenByActivityBeforeActivity(x8,a18,a19,28), compObjWrittenByActivityBeforeActivity(x8,a18,a19,34)} {} ------------------------------------------ {} {} {} {} {}