------------------------------------------
{subsActivityBeforeActivity(a5,a5,8), subsActivityBeforeActivity(a21,a21,9)}

{}

{}

{}

{redundant(x11,a9,endflow,28), redundant(x11,a9,endflow,36), redundant(x11,a9,endflow,45), redundant(x11,a9,endflow,53), redundant(x11,a9,a3,26), redundant(x11,a9,a3,34), redundant(x11,a9,a3,43), redundant(x11,a9,a3,51), redundant(x25,a9,a15,21), compObjWrittenByActivityBeforeActivity(x11,a9,a15,21), compObjWrittenByActivityBeforeActivity(x25,a9,a25,13)}