------------------------------------------
{subsActivityBeforeActivity(a2,a2,8), subsActivityBeforeActivity(a9,a9,9)}

{redundant(x20,a2,a2,9), compObjWrittenByActivityBeforeActivity(x20,a2,a25,7)}

{}

{compObjWrittenByActivityBeforeActivity(x6,a23,a23,13), compObjWrittenByActivityBeforeActivity(x19,a23,a2,10)}


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

{}

{}

{}