------------------------------------------ {subsActivityBeforeActivity(a22,a22,12), subsActivityBeforeActivity(a22,a22,17), subsActivityBeforeActivity(a22,a22,31), subsActivityBeforeActivity(a22,a22,36), subsActivityBeforeActivity(a22,a22,41), subsActivityBeforeActivity(a22,a22,46)} {} {} {compObjWrittenByActivityBeforeActivity(x3,a25,endflow,20), compObjWrittenByActivityBeforeActivity(x3,a25,endflow,41), compObjWrittenByActivityBeforeActivity(x3,a25,endflow,47), compObjWrittenByActivityBeforeActivity(x3,a25,endflow,53), compObjWrittenByActivityBeforeActivity(x22,a25,endflow,20), compObjWrittenByActivityBeforeActivity(x22,a25,endflow,35), compObjWrittenByActivityBeforeActivity(x22,a25,endflow,41), compObjWrittenByActivityBeforeActivity(x22,a25,endflow,47), compObjWrittenByActivityBeforeActivity(x22,a25,endflow,53)} {compObjWrittenByActivityBeforeActivity(x9,a22,a25,11), compObjWrittenByActivityBeforeActivity(x16,a22,a19,48), compObjWrittenByActivityBeforeActivity(x25,a22,a10,10)} ------------------------------------------ {} {} {} {} {}