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

{redundant(x4,a13,endflow,14), redundant(x11,a13,endflow,27), redundant(x11,a13,endflow,30), redundant(x11,a13,endflow,48), redundant(x11,a13,endflow,51), redundant(x11,a13,a21,26), redundant(x11,a13,a21,47), redundant(x15,a13,endflow,14), redundant(x15,a13,endflow,21), redundant(x15,a13,endflow,27), redundant(x15,a13,endflow,30), redundant(x15,a13,a17,17), redundant(x15,a13,a19,32), redundant(x15,a13,a18,36), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,21), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,27), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,30), compObjWrittenByActivityBeforeActivity(x4,a13,a24,13), compObjWrittenByActivityBeforeActivity(x11,a13,endflow,14), compObjWrittenByActivityBeforeActivity(x11,a13,a13,6), compObjWrittenByActivityBeforeActivity(x11,a13,a23,18), compObjWrittenByActivityBeforeActivity(x11,a13,a23,39), compObjWrittenByActivityBeforeActivity(x15,a13,a7,10)}