------------------------------------------
{}

{compObjWrittenByActivityBeforeActivity(x16,a21,a21,8)}

{}

{redundant(x1,a1,endflow,22), redundant(x25,a1,endflow,36), redundant(x25,a1,endflow,40), compObjWrittenByActivityBeforeActivity(x1,a1,a17,10), compObjWrittenByActivityBeforeActivity(x5,a1,endflow,22), compObjWrittenByActivityBeforeActivity(x5,a1,endflow,28), compObjWrittenByActivityBeforeActivity(x5,a1,endflow,36), compObjWrittenByActivityBeforeActivity(x5,a1,endflow,40), compObjWrittenByActivityBeforeActivity(x5,a1,endflow,42), compObjWrittenByActivityBeforeActivity(x25,a1,endflow,22), compObjWrittenByActivityBeforeActivity(x25,a1,endflow,28), compObjWrittenByActivityBeforeActivity(x25,a1,endflow,42), compObjWrittenByActivityBeforeActivity(x25,a1,a19,30)}


------------------------------------------
{}

{}

{}

{}