------------------------------------------
{subsActivityBeforeActivity(a14,a14,10)}

{}

{}

{redundant(x16,a21,a15,9), compObjWrittenByActivityBeforeActivity(x16,a21,a1,8)}

{}