------------------------------------------
{subsActivityBeforeActivity(a9,a9,7), subsActivityBeforeActivity(a3,a3,9)}

{}

{redundant(x5,a3,a12,30), redundant(x5,a3,a12,53), compObjWrittenByActivityBeforeActivity(x5,a3,a25,23), compObjWrittenByActivityBeforeActivity(x5,a3,a10,46), compObjWrittenByActivityBeforeActivity(x11,a3,endflow,20)}

{compObjWrittenByActivityBeforeActivity(x5,a11,a3,24), compObjWrittenByActivityBeforeActivity(x5,a11,a3,48)}