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

{redundant(x21,a24,endflow,20), redundant(x21,a24,a23,15), redundant(x21,a24,a4,18), redundant(x25,a24,endflow,20), redundant(x25,a24,endflow,26), redundant(x25,a24,endflow,37), redundant(x25,a24,endflow,43), redundant(x25,a24,a21,45), compObjWrittenByActivityBeforeActivity(x21,a24,a25,14), compObjWrittenByActivityBeforeActivity(x21,a24,a22,47), compObjWrittenByActivityBeforeActivity(x25,a24,a19,5)}