------------------------------------------
{subsActivityBeforeActivity(a23,a23,11), subsActivityBeforeActivity(a23,a23,32), subsActivityBeforeActivity(a23,a23,50), subsActivityBeforeActivity(a23,a23,68)}

{redundant(x25,a13,endflow,41), redundant(x25,a13,endflow,47), redundant(x25,a13,endflow,79), redundant(x25,a13,endflow,85), redundant(x25,a13,a7,28), redundant(x25,a13,a22,70), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,37), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,41), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,47), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,56), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,60), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,66), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,75), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,79), compObjWrittenByActivityBeforeActivity(x20,a13,endflow,85), compObjWrittenByActivityBeforeActivity(x20,a13,a13,9), compObjWrittenByActivityBeforeActivity(x25,a13,a11,8)}

{compObjWrittenByActivityBeforeActivity(x5,a1,a25,29), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,40), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,45), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,52), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,62), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,67), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,74), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,84), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,89), compObjWrittenByActivityBeforeActivity(x11,a1,endflow,96), compObjWrittenByActivityBeforeActivity(x11,a1,a13,11)}

{compObjWrittenByActivityBeforeActivity(x1,a23,a13,12), compObjWrittenByActivityBeforeActivity(x1,a23,a25,31), compObjWrittenByActivityBeforeActivity(x16,a23,a10,84), compObjWrittenByActivityBeforeActivity(x19,a23,a14,35)}

{}


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

{}

{}

{}

{}