------------------------------------------
{subsActivityBeforeActivity(a25,a25,8), subsActivityBeforeActivity(a25,a25,40)}

{redundant(x25,a11,endflow,46), redundant(x25,a11,endflow,50), redundant(x25,a11,a9,48), compObjWrittenByActivityBeforeActivity(x25,a11,a25,42)}

{}