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

{redundant(x1,a7,endflow,63), redundant(x1,a7,endflow,69), redundant(x1,a7,endflow,75), redundant(x1,a7,endflow,108), redundant(x1,a7,endflow,114), redundant(x1,a7,endflow,120), redundant(x1,a7,a15,58), redundant(x1,a7,a15,103), redundant(x22,a7,endflow,69), redundant(x22,a7,a13,67), compObjWrittenByActivityBeforeActivity(x1,a7,a5,55), compObjWrittenByActivityBeforeActivity(x1,a7,a5,100), compObjWrittenByActivityBeforeActivity(x22,a7,endflow,63), compObjWrittenByActivityBeforeActivity(x22,a7,endflow,75), compObjWrittenByActivityBeforeActivity(x22,a7,a2,66)}