------------------------------------------
{subsActivityBeforeActivity(a21,a21,8), subsActivityBeforeActivity(a6,a6,10)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x11,a15,a6,12)}

{}