------------------------------------------ {subsActivityBeforeActivity(a8,a8,13)} {} {} {compObjWrittenByActivityBeforeActivity(x13,a4,endflow,46), compObjWrittenByActivityBeforeActivity(x13,a4,endflow,56), compObjWrittenByActivityBeforeActivity(x13,a4,a19,59), compObjWrittenByActivityBeforeActivity(x21,a4,a14,44), compObjWrittenByActivityBeforeActivity(x22,a4,endflow,46), compObjWrittenByActivityBeforeActivity(x22,a4,endflow,56), compObjWrittenByActivityBeforeActivity(x22,a4,endflow,70), compObjWrittenByActivityBeforeActivity(x22,a4,endflow,80), compObjWrittenByActivityBeforeActivity(x22,a4,endflow,92), compObjWrittenByActivityBeforeActivity(x22,a4,endflow,102)} {redundant(x10,a8,a16,66), redundant(x10,a8,a17,91), redundant(x10,a8,a3,43), redundant(x10,a8,a3,56), redundant(x10,a8,a3,73), redundant(x10,a8,a3,84), redundant(x10,a8,a3,97), redundant(x10,a8,a3,108), compObjWrittenByActivityBeforeActivity(x10,a8,a21,10), compObjWrittenByActivityBeforeActivity(x13,a8,a4,47), compObjWrittenByActivityBeforeActivity(x13,a8,a4,59), compObjWrittenByActivityBeforeActivity(x13,a8,a4,64)} {} ------------------------------------------ {} {} {} {} {} {}