------------------------------------------
{subsActivityBeforeActivity(a19,a19,8)}

{}

{redundant(x2,a9,endflow,86), redundant(x2,a9,endflow,108), redundant(x2,a9,endflow,127), compObjWrittenByActivityBeforeActivity(x2,a9,endflow,80), compObjWrittenByActivityBeforeActivity(x2,a9,endflow,90), compObjWrittenByActivityBeforeActivity(x2,a9,endflow,102), compObjWrittenByActivityBeforeActivity(x2,a9,endflow,112), compObjWrittenByActivityBeforeActivity(x2,a9,endflow,121), compObjWrittenByActivityBeforeActivity(x2,a9,endflow,131), compObjWrittenByActivityBeforeActivity(x2,a9,a7,84), compObjWrittenByActivityBeforeActivity(x2,a9,a7,106), compObjWrittenByActivityBeforeActivity(x2,a9,a7,125), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,80), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,86), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,90)}

{}

{compObjWrittenByActivityBeforeActivity(x13,a23,a11,36), compObjWrittenByActivityBeforeActivity(x13,a23,a11,103)}