------------------------------------------
{subsActivityBeforeActivity(a11,a11,11)}

{}

{compObjWrittenByActivityBeforeActivity(x13,a6,a6,10)}

{compObjWrittenByActivityBeforeActivity(x24,a11,a11,13)}

{}