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

{}

{redundant(x8,a8,endflow,23), redundant(x8,a8,endflow,31), redundant(x8,a8,endflow,36), redundant(x8,a8,endflow,41), redundant(x16,a8,endflow,12), compObjWrittenByActivityBeforeActivity(x8,a8,endflow,12), compObjWrittenByActivityBeforeActivity(x8,a8,a9,17), compObjWrittenByActivityBeforeActivity(x16,a8,a20,7)}


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

{}

{}