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

{}

{}

{compObjWrittenByActivityBeforeActivity(x13,a18,a25,11)}


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

{}

{}

{}