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

{}

{}

{redundant(x25,a23,endflow,42), redundant(x25,a23,endflow,49), redundant(x25,a23,endflow,58), redundant(x25,a23,a5,38), redundant(x25,a23,a2,45), compObjWrittenByActivityBeforeActivity(x8,a23,endflow,23), compObjWrittenByActivityBeforeActivity(x8,a23,endflow,42), compObjWrittenByActivityBeforeActivity(x8,a23,endflow,49), compObjWrittenByActivityBeforeActivity(x8,a23,endflow,58), compObjWrittenByActivityBeforeActivity(x8,a23,a23,12), compObjWrittenByActivityBeforeActivity(x10,a23,endflow,23), compObjWrittenByActivityBeforeActivity(x10,a23,endflow,33), compObjWrittenByActivityBeforeActivity(x10,a23,endflow,42), compObjWrittenByActivityBeforeActivity(x10,a23,endflow,49), compObjWrittenByActivityBeforeActivity(x10,a23,endflow,58), compObjWrittenByActivityBeforeActivity(x10,a23,a23,12), compObjWrittenByActivityBeforeActivity(x18,a23,a8,21), compObjWrittenByActivityBeforeActivity(x18,a23,a8,31), compObjWrittenByActivityBeforeActivity(x25,a23,endflow,23), compObjWrittenByActivityBeforeActivity(x25,a23,endflow,33), compObjWrittenByActivityBeforeActivity(x25,a23,a13,37)}

{redundant(x3,a11,a4,20), compObjWrittenByActivityBeforeActivity(x3,a11,a24,10), compObjWrittenByActivityBeforeActivity(x20,a11,a13,47), compObjWrittenByActivityBeforeActivity(x22,a11,a25,9)}