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

{redundant(x4,a24,endflow,36), redundant(x4,a24,endflow,44), redundant(x4,a24,endflow,56), redundant(x4,a24,endflow,64), redundant(x17,a24,a28,69), compObjWrittenByActivityBeforeActivity(x4,a24,a27,26), compObjWrittenByActivityBeforeActivity(x17,a24,a1,66)}