------------------------------------------
{subsActivityBeforeActivity(a8,a8,10)}

{}

{}

{}

{compObjWrittenByActivityBeforeActivity(x2,a13,a11,9), compObjWrittenByActivityBeforeActivity(x13,a13,a13,14)}

{}