------------------------------------------
{subsActivityBeforeActivity(a20,a20,6), subsActivityBeforeActivity(a12,a12,7)}

{}

{compObjWrittenByActivityBeforeActivity(x18,a8,a20,7)}


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

{}

{}