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

{}

{}

{compObjWrittenByActivityBeforeActivity(x14,a1,a12,11)}

{}