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

{compObjWrittenByActivityBeforeActivity(x23,a3,a22,9)}

{}

{}

{redundant(x17,a1,endflow,32), redundant(x17,a1,endflow,47), redundant(x17,a1,endflow,59), redundant(x17,a1,a13,49), redundant(x17,a1,a16,27), redundant(x17,a1,a16,42), redundant(x17,a1,a16,54), redundant(x17,a1,a12,29), redundant(x17,a1,a12,44), redundant(x17,a1,a12,56), redundant(x17,a1,a24,31), redundant(x17,a1,a24,46), redundant(x17,a1,a24,58), compObjWrittenByActivityBeforeActivity(x17,a1,a6,22)}

{redundant(x4,a12,a20,12), redundant(x4,a12,a1,14), redundant(x4,a12,a12,15), redundant(x4,a12,a12,45), redundant(x4,a12,a12,57), compObjWrittenByActivityBeforeActivity(x4,a12,a3,11), compObjWrittenByActivityBeforeActivity(x5,a12,a19,37)}