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

{}

{}

{}

{compObjWrittenByActivityBeforeActivity(x5,a8,a11,9), compObjWrittenByActivityBeforeActivity(x13,a8,a1,8)}