------------------------------------------
{subsActivityBeforeActivity(a9,a9,9), subsActivityBeforeActivity(a15,a15,10)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x10,a15,a16,7), compObjWrittenByActivityBeforeActivity(x24,a15,a15,12)}


------------------------------------------
{}

{}

{}

{}