------------------------------------------ {subsActivityBeforeActivity(a19,a19,7)} {} {redundant(x13,a1,endflow,48), redundant(x16,a1,endflow,65), redundant(x16,a1,endflow,69), compObjWrittenByActivityBeforeActivity(x7,a1,endflow,48), compObjWrittenByActivityBeforeActivity(x7,a1,endflow,56), compObjWrittenByActivityBeforeActivity(x7,a1,endflow,60), compObjWrittenByActivityBeforeActivity(x7,a1,endflow,65), compObjWrittenByActivityBeforeActivity(x7,a1,endflow,69), compObjWrittenByActivityBeforeActivity(x13,a1,a3,41), compObjWrittenByActivityBeforeActivity(x16,a1,endflow,48), compObjWrittenByActivityBeforeActivity(x16,a1,endflow,56), compObjWrittenByActivityBeforeActivity(x16,a1,endflow,60), compObjWrittenByActivityBeforeActivity(x16,a1,a9,64), compObjWrittenByActivityBeforeActivity(x16,a1,a9,68)} {compObjWrittenByActivityBeforeActivity(x3,a2,a1,10)} ------------------------------------------ {} {} {} {}