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

{}

{redundant(x10,a14,a2,29), compObjWrittenByActivityBeforeActivity(x10,a14,a17,7)}

{redundant(x3,a1,endflow,21), redundant(x3,a1,a24,19), redundant(x11,a1,endflow,21), redundant(x11,a1,endflow,32), redundant(x11,a1,endflow,38), redundant(x11,a1,endflow,42), redundant(x11,a1,endflow,47), redundant(x11,a1,a14,10), redundant(x11,a1,a23,25), redundant(x11,a1,a11,27), compObjWrittenByActivityBeforeActivity(x3,a1,a9,9), compObjWrittenByActivityBeforeActivity(x10,a1,a14,7), compObjWrittenByActivityBeforeActivity(x11,a1,a9,9)}