------------------------------------------
{subsActivityBeforeActivity(a2,a2,7)}

{compObjWrittenByActivityBeforeActivity(x6,a2,endflow,19), compObjWrittenByActivityBeforeActivity(x6,a2,endflow,25), compObjWrittenByActivityBeforeActivity(x6,a2,endflow,42), compObjWrittenByActivityBeforeActivity(x6,a2,endflow,53)}

{redundant(x3,a23,a15,29), redundant(x3,a23,a24,36), redundant(x3,a23,a3,41), redundant(x3,a23,a3,53), redundant(x17,a23,a20,52), compObjWrittenByActivityBeforeActivity(x3,a23,a14,22), compObjWrittenByActivityBeforeActivity(x5,a23,a18,48), compObjWrittenByActivityBeforeActivity(x17,a23,a11,47), compObjWrittenByActivityBeforeActivity(x17,a23,a20,40)}