------------------------------------------
{subsActivityBeforeActivity(a18,a18,9), subsActivityBeforeActivity(a14,a14,11), subsActivityBeforeActivity(a14,a14,34), subsActivityBeforeActivity(a14,a14,58), subsActivityBeforeActivity(a14,a14,82)}

{redundant(x19,a18,a15,58), compObjWrittenByActivityBeforeActivity(x2,a18,a18,10), compObjWrittenByActivityBeforeActivity(x19,a18,a16,34)}

{redundant(x23,a23,endflow,50), redundant(x23,a23,endflow,75), redundant(x23,a23,endflow,100), redundant(x23,a23,a18,11), redundant(x23,a23,a25,62), redundant(x23,a23,a12,86), redundant(x23,a23,a6,40), redundant(x23,a23,a6,65), redundant(x23,a23,a6,90), compObjWrittenByActivityBeforeActivity(x20,a23,endflow,50), compObjWrittenByActivityBeforeActivity(x20,a23,endflow,58), compObjWrittenByActivityBeforeActivity(x20,a23,endflow,75), compObjWrittenByActivityBeforeActivity(x20,a23,endflow,83), compObjWrittenByActivityBeforeActivity(x23,a23,a21,8)}

{compObjWrittenByActivityBeforeActivity(x19,a14,a18,36)}

{compObjWrittenByActivityBeforeActivity(x5,a6,a12,92), compObjWrittenByActivityBeforeActivity(x9,a6,a14,15), compObjWrittenByActivityBeforeActivity(x9,a6,a14,41), compObjWrittenByActivityBeforeActivity(x9,a6,a14,95)}


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

{}

{}

{}

{}