------------------------------------------
{subsActivityBeforeActivity(a13,a13,8)}

{}

{redundant(x15,a4,a4,10), compObjWrittenByActivityBeforeActivity(x15,a4,a3,7)}

{compObjWrittenByActivityBeforeActivity(x18,a15,a13,10)}


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

{}

{}

{}