------------------------------------------
{subsActivityBeforeActivity(a11,a11,8), subsActivityBeforeActivity(a5,a5,9)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x17,a8,a11,9)}

{compObjWrittenByActivityBeforeActivity(x18,a7,a7,15)}


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

{}

{}

{}

{}