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

{}

{}

{compObjWrittenByActivityBeforeActivity(x3,a12,a15,12), compObjWrittenByActivityBeforeActivity(x4,a12,a4,8)}

{compObjWrittenByActivityBeforeActivity(x3,a14,a12,13), compObjWrittenByActivityBeforeActivity(x17,a14,a2,11)}