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

{compObjWrittenByActivityBeforeActivity(x14,a21,a21,10)}

{}

{redundant(x19,a1,a10,12), compObjWrittenByActivityBeforeActivity(x19,a1,a21,11)}

{}


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

{}

{}

{}

{}