------------------------------------------
{compObjWrittenByActivityBeforeActivity(x24,a6,a6,8), subsActivityBeforeActivity(a8,a8,9), subsActivityBeforeActivity(a1,a1,11), subsActivityBeforeActivity(a10,a10,12), subsActivityBeforeActivity(a10,a10,42)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x11,a1,a2,12)}

{redundant(x4,a10,a22,46), compObjWrittenByActivityBeforeActivity(x4,a10,a6,9), compObjWrittenByActivityBeforeActivity(x15,a10,a23,42)}


------------------------------------------
{}

{}

{}

{}

{}