------------------------------------------
{subsActivityBeforeActivity(a23,a23,10), subsActivityBeforeActivity(a23,a23,22), subsActivityBeforeActivity(a23,a23,35), subsActivityBeforeActivity(a23,a23,44), subsActivityBeforeActivity(a23,a23,57), subsActivityBeforeActivity(a23,a23,67), subsActivityBeforeActivity(a23,a23,80)}

{redundant(x6,a21,endflow,25), redundant(x6,a21,endflow,39), redundant(x6,a21,endflow,49), redundant(x6,a21,endflow,63), compObjWrittenByActivityBeforeActivity(x6,a21,a23,24), compObjWrittenByActivityBeforeActivity(x6,a21,a23,38), compObjWrittenByActivityBeforeActivity(x6,a21,a23,48), compObjWrittenByActivityBeforeActivity(x6,a21,a23,62)}

{redundant(x23,a5,a25,28), redundant(x23,a5,a25,54), compObjWrittenByActivityBeforeActivity(x11,a5,a11,31), compObjWrittenByActivityBeforeActivity(x11,a5,a11,57), compObjWrittenByActivityBeforeActivity(x11,a5,a11,83), compObjWrittenByActivityBeforeActivity(x15,a5,a11,31), compObjWrittenByActivityBeforeActivity(x15,a5,a11,57), compObjWrittenByActivityBeforeActivity(x15,a5,a11,83), compObjWrittenByActivityBeforeActivity(x23,a5,a17,20), compObjWrittenByActivityBeforeActivity(x23,a5,a17,46)}

{redundant(x5,a23,a4,17), redundant(x5,a23,a8,46), redundant(x5,a23,a12,37), redundant(x5,a23,a12,66), compObjWrittenByActivityBeforeActivity(x5,a23,a22,16), compObjWrittenByActivityBeforeActivity(x5,a23,a12,94), compObjWrittenByActivityBeforeActivity(x17,a23,a13,30), compObjWrittenByActivityBeforeActivity(x17,a23,a13,59), compObjWrittenByActivityBeforeActivity(x17,a23,a13,87), compObjWrittenByActivityBeforeActivity(x17,a23,a5,9), compObjWrittenByActivityBeforeActivity(x17,a23,a5,23), compObjWrittenByActivityBeforeActivity(x17,a23,a5,52), compObjWrittenByActivityBeforeActivity(x17,a23,a5,81), compObjWrittenByActivityBeforeActivity(x23,a23,a5,20), compObjWrittenByActivityBeforeActivity(x23,a23,a5,49)}


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

{}

{}

{}