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

{}

{compObjWrittenByActivityBeforeActivity(x13,a9,a12,7)}

{compObjWrittenByActivityBeforeActivity(x9,a16,a9,10), compObjWrittenByActivityBeforeActivity(x13,a16,a9,7)}


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

{}

{}

{}