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

{compObjWrittenByActivityBeforeActivity(x13,a2,a2,10), compObjWrittenByActivityBeforeActivity(x23,a2,a13,8)}

{}

{compObjWrittenByActivityBeforeActivity(x5,a19,a19,14)}

{compObjWrittenByActivityBeforeActivity(x24,a12,a19,15)}