------------------------------------------
{subsActivityBeforeActivity(a19,a19,9), subsActivityBeforeActivity(a9,a9,12)}

{}

{}

{}

{compObjWrittenByActivityBeforeActivity(x17,a9,a12,8)}


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

{}

{}

{}

{}