------------------------------------------
{subsActivityBeforeActivity(a2,a2,8), subsActivityBeforeActivity(a2,a2,20), subsActivityBeforeActivity(a2,a2,25), subsActivityBeforeActivity(a2,a2,35), subsActivityBeforeActivity(a2,a2,41)}

{redundant(x23,a20,endflow,23), redundant(x23,a20,endflow,29), redundant(x23,a20,endflow,40), redundant(x23,a20,a1,18), redundant(x23,a20,a23,35), compObjWrittenByActivityBeforeActivity(x23,a20,a18,14)}

{compObjWrittenByActivityBeforeActivity(x2,a2,a13,21), compObjWrittenByActivityBeforeActivity(x2,a2,a25,27)}