------------------------------------------
{subsActivityBeforeActivity(a4,a4,9), subsActivityBeforeActivity(a9,a9,11)}

{}

{compObjWrittenByActivityBeforeActivity(x8,a11,a11,11)}

{}

{}