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

{}

{compObjWrittenByActivityBeforeActivity(x15,a11,a24,8)}

{}

{redundant(x18,a6,a14,13), compObjWrittenByActivityBeforeActivity(x18,a6,a7,11)}


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

{}

{}

{}

{}