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

{redundant(x7,a13,endflow,16), redundant(x7,a13,endflow,19), redundant(x7,a13,endflow,22), redundant(x7,a13,endflow,32), redundant(x7,a13,endflow,35), redundant(x7,a13,endflow,38), redundant(x21,a13,a24,46), compObjWrittenByActivityBeforeActivity(x7,a13,a6,9), compObjWrittenByActivityBeforeActivity(x21,a13,a12,41)}


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

{}