------------------------------------------
{compObjWrittenByActivityBeforeActivity(x9,a12,a12,7), subsActivityBeforeActivity(a25,a25,10)}

{}

{compObjWrittenByActivityBeforeActivity(x9,a8,a12,7)}

{}