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

{}

{redundant(x23,a17,endflow,51), redundant(x23,a17,endflow,58), redundant(x23,a17,endflow,81), redundant(x23,a17,endflow,88), redundant(x23,a17,a1,47), redundant(x23,a17,a1,77), redundant(x23,a17,a4,60), redundant(x23,a17,a4,90), redundant(x23,a17,a2,61), redundant(x23,a17,a2,91), compObjWrittenByActivityBeforeActivity(x23,a17,a23,42), compObjWrittenByActivityBeforeActivity(x23,a17,a23,72)}

{compObjWrittenByActivityBeforeActivity(x11,a23,a23,11), compObjWrittenByActivityBeforeActivity(x11,a23,a23,43), compObjWrittenByActivityBeforeActivity(x11,a23,a23,74), compObjWrittenByActivityBeforeActivity(x15,a23,a5,8)}