------------------------------------------
{subsActivityBeforeActivity(a25,a25,8)}

{}

{redundant(x24,a25,a6,17), redundant(x24,a25,a6,42), compObjWrittenByActivityBeforeActivity(x12,a25,a8,14), compObjWrittenByActivityBeforeActivity(x24,a25,a14,16), compObjWrittenByActivityBeforeActivity(x24,a25,a14,41)}


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

{}

{}