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

{}

{}

{redundant(x3,a20,endflow,27), redundant(x3,a20,endflow,30), redundant(x3,a20,endflow,32), redundant(x23,a20,endflow,42), redundant(x23,a20,endflow,45), redundant(x23,a20,endflow,47), redundant(x23,a20,endflow,61), redundant(x23,a20,endflow,64), redundant(x23,a20,endflow,66), redundant(x23,a20,a13,56), redundant(x24,a20,endflow,27), redundant(x24,a20,endflow,30), redundant(x24,a20,endflow,32), redundant(x24,a20,endflow,42), redundant(x24,a20,endflow,45), redundant(x24,a20,endflow,47), redundant(x24,a20,a5,36), compObjWrittenByActivityBeforeActivity(x3,a20,endflow,42), compObjWrittenByActivityBeforeActivity(x3,a20,endflow,45), compObjWrittenByActivityBeforeActivity(x3,a20,endflow,47), compObjWrittenByActivityBeforeActivity(x3,a20,a20,11), compObjWrittenByActivityBeforeActivity(x3,a20,a14,22), compObjWrittenByActivityBeforeActivity(x23,a20,endflow,27), compObjWrittenByActivityBeforeActivity(x23,a20,endflow,30), compObjWrittenByActivityBeforeActivity(x23,a20,endflow,32), compObjWrittenByActivityBeforeActivity(x23,a20,a6,37), compObjWrittenByActivityBeforeActivity(x24,a20,a15,9)}

{}


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

{}

{}

{}

{}