------------------------------------------ {subsActivityBeforeActivity(a5,a5,9), subsActivityBeforeActivity(a5,a5,17), subsActivityBeforeActivity(a5,a5,28), subsActivityBeforeActivity(a5,a5,41), subsActivityBeforeActivity(a5,a5,51), subsActivityBeforeActivity(a5,a5,64)} {compObjWrittenByActivityBeforeActivity(x17,a25,endflow,22), compObjWrittenByActivityBeforeActivity(x17,a25,endflow,34), compObjWrittenByActivityBeforeActivity(x17,a25,endflow,59)} {compObjWrittenByActivityBeforeActivity(x5,a5,a16,38), compObjWrittenByActivityBeforeActivity(x5,a5,a16,64), compObjWrittenByActivityBeforeActivity(x23,a5,a4,53)} {} ------------------------------------------ {} {} {} {}