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

{}

{}

{}

{redundant(27), redundant(30), compObjWrittenByActivityBeforeActivity(x12,a3,a8,11)}

{redundant(13), compObjWrittenByActivityBeforeActivity(x1,a12,a8,12), compObjWrittenByActivityBeforeActivity(x3,a12,a3,14), compObjWrittenByActivityBeforeActivity(x13,a12,a8,12)}

