------------------------------------------
{subsActivityBeforeActivity(a7,a7,7), subsActivityBeforeActivity(a18,a18,8)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x21,a14,a18,10)}


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

{}

{}

{}