------------------------------------------
{subsActivityBeforeActivity(a25,a25,7), subsActivityBeforeActivity(a23,a23,8), subsActivityBeforeActivity(a23,a23,36), subsActivityBeforeActivity(a23,a23,65)}

{redundant(x1,a25,endflow,44), redundant(x1,a25,endflow,49), redundant(x1,a25,endflow,56), redundant(x1,a25,endflow,61), redundant(x1,a25,endflow,74), redundant(x1,a25,endflow,79), redundant(x1,a25,endflow,86), redundant(x1,a25,endflow,91), compObjWrittenByActivityBeforeActivity(x1,a25,a9,43), compObjWrittenByActivityBeforeActivity(x1,a25,a9,48), compObjWrittenByActivityBeforeActivity(x1,a25,a9,55), compObjWrittenByActivityBeforeActivity(x1,a25,a9,60), compObjWrittenByActivityBeforeActivity(x1,a25,a9,73), compObjWrittenByActivityBeforeActivity(x1,a25,a9,78), compObjWrittenByActivityBeforeActivity(x1,a25,a9,85), compObjWrittenByActivityBeforeActivity(x1,a25,a9,90), compObjWrittenByActivityBeforeActivity(x5,a25,a3,63), compObjWrittenByActivityBeforeActivity(x25,a25,endflow,44), compObjWrittenByActivityBeforeActivity(x25,a25,endflow,49), compObjWrittenByActivityBeforeActivity(x25,a25,endflow,56), compObjWrittenByActivityBeforeActivity(x25,a25,endflow,61)}

{compObjWrittenByActivityBeforeActivity(x6,a23,a25,8), compObjWrittenByActivityBeforeActivity(x6,a23,a12,34)}


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

{}

{}