------------------------------------------
{subsActivityBeforeActivity(a23,a23,10)}

{}

{}

{redundant(x5,a23,endflow,38), redundant(x5,a23,endflow,45), redundant(x5,a23,endflow,47), redundant(x5,a23,endflow,59), redundant(x5,a23,endflow,66), redundant(x5,a23,endflow,68), redundant(x5,a23,a21,51), redundant(x5,a23,a12,33), redundant(x5,a23,a12,54), redundant(x18,a23,endflow,38), redundant(x18,a23,endflow,45), redundant(x18,a23,endflow,47), compObjWrittenByActivityBeforeActivity(x5,a23,a17,8), compObjWrittenByActivityBeforeActivity(x18,a23,endflow,59), compObjWrittenByActivityBeforeActivity(x18,a23,endflow,66), compObjWrittenByActivityBeforeActivity(x18,a23,endflow,68), compObjWrittenByActivityBeforeActivity(x18,a23,a24,31), compObjWrittenByActivityBeforeActivity(x25,a23,endflow,38), compObjWrittenByActivityBeforeActivity(x25,a23,endflow,47), compObjWrittenByActivityBeforeActivity(x25,a23,endflow,59), compObjWrittenByActivityBeforeActivity(x25,a23,endflow,68), compObjWrittenByActivityBeforeActivity(x25,a23,a2,40), compObjWrittenByActivityBeforeActivity(x25,a23,a2,61)}