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

{}

{}

{}

{}

{redundant(x8,a1,a6,13), compObjWrittenByActivityBeforeActivity(x8,a1,a2,12)}


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

{}

{}

{}

{}

{}