------------------------------------------
{subsActivityBeforeActivity(a1,a1,9)}

{}

{}

{}

{}

{compObjWrittenByActivityBeforeActivity(x5,a19,a13,11)}