------------------------------------------
{subsActivityBeforeActivity(a24,a24,8), subsActivityBeforeActivity(a12,a12,11)}

{}

{}

{}

{redundant(x4,a5,a12,13), compObjWrittenByActivityBeforeActivity(x4,a5,a24,9)}


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

{}

{}

{}

{}