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

{redundant(10), compObjWrittenByActivityBeforeActivity(x14,a5,a11,9), compObjWrittenByActivityBeforeActivity(x18,a5,a11,9)}

{compObjWrittenByActivityBeforeActivity(x9,a2,a5,12)}

{compObjWrittenByActivityBeforeActivity(x9,a1,a2,12)}

{}

{redundant(18), redundant(23), redundant(24), redundant(28), compObjWrittenByActivityBeforeActivity(x3,a3,a6,17), compObjWrittenByActivityBeforeActivity(x5,a3,a5,14), compObjWrittenByActivityBeforeActivity(x10,a3,a1,16)}

