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

{}

{}

{}

{redundant(x9,a4,a4,13), compObjWrittenByActivityBeforeActivity(x9,a4,a7,10), compObjWrittenByActivityBeforeActivity(x11,a4,a4,13), compObjWrittenByActivityBeforeActivity(x23,a4,a19,12)}


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

{}

{}

{}

{}