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

{}

{}

{compObjWrittenByActivityBeforeActivity(x12,a23,endflow,19), compObjWrittenByActivityBeforeActivity(x12,a23,endflow,23)}

{redundant(x1,a3,endflow,20), redundant(x1,a3,endflow,25), redundant(x1,a3,endflow,36), redundant(x1,a3,endflow,41), redundant(x1,a3,endflow,44), redundant(x1,a3,a1,22), redundant(x1,a3,a22,31), redundant(x23,a3,endflow,36), redundant(x23,a3,endflow,44), compObjWrittenByActivityBeforeActivity(x1,a3,a21,17), compObjWrittenByActivityBeforeActivity(x3,a3,a20,9), compObjWrittenByActivityBeforeActivity(x23,a3,endflow,20), compObjWrittenByActivityBeforeActivity(x23,a3,endflow,25), compObjWrittenByActivityBeforeActivity(x23,a3,a25,33)}


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

{}

{}

{}

{}