------------------------------------------
{compObjWrittenByActivityBeforeActivity(x20,a15,a15,6), subsActivityBeforeActivity(a15,a15,6)}

{}

{redundant(x1,a20,endflow,22), redundant(x1,a20,endflow,32), redundant(x1,a20,endflow,40), redundant(x1,a20,endflow,42), redundant(x1,a20,a5,31), redundant(x1,a20,a7,39), redundant(x5,a20,endflow,15), redundant(x5,a20,endflow,22), redundant(x5,a20,endflow,32), redundant(x5,a20,endflow,40), redundant(x5,a20,endflow,42), compObjWrittenByActivityBeforeActivity(x1,a20,endflow,15), compObjWrittenByActivityBeforeActivity(x1,a20,a21,20), compObjWrittenByActivityBeforeActivity(x5,a20,a16,9), compObjWrittenByActivityBeforeActivity(x20,a20,endflow,15), compObjWrittenByActivityBeforeActivity(x20,a20,endflow,22), compObjWrittenByActivityBeforeActivity(x20,a20,a15,6), compObjWrittenByActivityBeforeActivity(x20,a20,a10,25), compObjWrittenByActivityBeforeActivity(x23,a20,endflow,15), compObjWrittenByActivityBeforeActivity(x23,a20,endflow,22)}