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

{}

{}

{redundant(x2,a2,endflow,21), redundant(x2,a2,endflow,27), redundant(x2,a2,endflow,31), redundant(x2,a2,endflow,41), compObjWrittenByActivityBeforeActivity(x2,a2,a22,7)}