------------------------------------------
{subsActivityBeforeActivity(a20,a20,8)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x25,a12,a25,11)}

{}


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

{}

{}

{}

{}