------------------------------------------
{compObjWrittenByActivityBeforeActivity(x3,a8,a8,7), subsActivityBeforeActivity(a22,a22,9), subsActivityBeforeActivity(a10,a10,10), subsActivityBeforeActivity(a10,a10,18), subsActivityBeforeActivity(a10,a10,23), subsActivityBeforeActivity(a10,a10,36), subsActivityBeforeActivity(a10,a10,42)}

{}

{}

{redundant(x11,a10,a14,33), redundant(x11,a10,a5,37), redundant(x11,a10,a7,47), compObjWrittenByActivityBeforeActivity(x11,a10,a6,25)}


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

{}

{}

{}