------------------------------------------
{subsActivityBeforeActivity(a20,a20,12), subsActivityBeforeActivity(a20,a20,26), subsActivityBeforeActivity(a20,a20,35), subsActivityBeforeActivity(a20,a20,45), subsActivityBeforeActivity(a20,a20,53), subsActivityBeforeActivity(a20,a20,60)}

{redundant(x6,a21,a19,17), compObjWrittenByActivityBeforeActivity(x6,a21,a6,8), compObjWrittenByActivityBeforeActivity(x24,a21,a21,9)}

{redundant(x3,a23,a23,27), redundant(x3,a23,a23,37), compObjWrittenByActivityBeforeActivity(x3,a23,a1,18), compObjWrittenByActivityBeforeActivity(x3,a23,a23,12), compObjWrittenByActivityBeforeActivity(x6,a23,a21,8), compObjWrittenByActivityBeforeActivity(x11,a23,a9,25)}

{compObjWrittenByActivityBeforeActivity(x17,a15,a8,23)}

{redundant(x22,a20,a17,26), redundant(x22,a20,a12,38), redundant(x22,a20,a14,59), compObjWrittenByActivityBeforeActivity(x1,a20,a19,22), compObjWrittenByActivityBeforeActivity(x22,a20,a19,22)}


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

{}

{}

{}

{}