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

{}

{compObjWrittenByActivityBeforeActivity(x20,a7,a2,10)}

{compObjWrittenByActivityBeforeActivity(x20,a5,a7,10), compObjWrittenByActivityBeforeActivity(x24,a5,a2,11)}

{}