------------------------------------------
{compObjWrittenByActivityBeforeActivity(x12,a8,a8,8)}

{compObjWrittenByActivityBeforeActivity(x12,a13,a8,8)}

{}

{compObjWrittenByActivityBeforeActivity(x12,a6,a13,8), compObjWrittenByActivityBeforeActivity(x12,a6,a6,13), compObjWrittenByActivityBeforeActivity(x13,a6,a13,11), compObjWrittenByActivityBeforeActivity(x20,a6,a14,12)}

{compObjWrittenByActivityBeforeActivity(x11,a15,a14,15), compObjWrittenByActivityBeforeActivity(x13,a15,a6,12)}