------------------------------------------
{subsActivityBeforeActivity(a20,a20,7), subsActivityBeforeActivity(a16,a16,8)}

{}

{compObjWrittenByActivityBeforeActivity(x3,a9,a20,8), compObjWrittenByActivityBeforeActivity(x4,a9,a16,10)}

{}