------------------------------------------
{subsActivityBeforeActivity(a23,a23,7), subsActivityBeforeActivity(a25,a25,10), subsActivityBeforeActivity(a25,a25,42)}

{}

{redundant(x7,a16,endflow,54), redundant(x7,a16,endflow,59), redundant(x7,a16,endflow,66), redundant(x7,a16,endflow,72), compObjWrittenByActivityBeforeActivity(x7,a16,a20,46)}

{redundant(x23,a25,a6,9), compObjWrittenByActivityBeforeActivity(x5,a25,a13,42), compObjWrittenByActivityBeforeActivity(x23,a25,a23,8)}