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

{}

{redundant(18), redundant(24), compObjWrittenByActivityBeforeActivity(x1,a11,a11,8), compObjWrittenByActivityBeforeActivity(x2,a11,a12,7)}

