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

{}

{redundant(x20,a11,endflow,23), redundant(x20,a11,a9,22), compObjWrittenByActivityBeforeActivity(x20,a11,endflow,15), compObjWrittenByActivityBeforeActivity(x20,a11,a7,17)}