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

{}

{}

{redundant(x9,a6,a4,29), redundant(x11,a6,endflow,31), redundant(x11,a6,endflow,59), redundant(x11,a6,endflow,71), redundant(x11,a6,endflow,84), redundant(x11,a6,a24,52), compObjWrittenByActivityBeforeActivity(x9,a6,a2,38), compObjWrittenByActivityBeforeActivity(x9,a6,a2,51), compObjWrittenByActivityBeforeActivity(x9,a6,a2,63), compObjWrittenByActivityBeforeActivity(x9,a6,a2,76), compObjWrittenByActivityBeforeActivity(x9,a6,a14,26), compObjWrittenByActivityBeforeActivity(x11,a6,a12,49), compObjWrittenByActivityBeforeActivity(x11,a6,a24,24), compObjWrittenByActivityBeforeActivity(x11,a6,a24,64), compObjWrittenByActivityBeforeActivity(x11,a6,a24,77)}

{compObjWrittenByActivityBeforeActivity(x16,a24,a16,9)}

{}