------------------------------------------
{subsActivityBeforeActivity(a7,a7,9), subsActivityBeforeActivity(a21,a21,10)}

{}

{redundant(x24,a7,a10,28), compObjWrittenByActivityBeforeActivity(x13,a7,a2,26), compObjWrittenByActivityBeforeActivity(x20,a7,endflow,41), compObjWrittenByActivityBeforeActivity(x20,a7,endflow,47), compObjWrittenByActivityBeforeActivity(x24,a7,a7,10), compObjWrittenByActivityBeforeActivity(x24,a7,a14,25)}

{}