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

{}

{compObjWrittenByActivityBeforeActivity(x1,a2,a15,51)}

{redundant(x20,a24,a13,49), compObjWrittenByActivityBeforeActivity(x20,a24,a4,8)}

{redundant(x14,a16,a13,50), redundant(x14,a16,a11,71), redundant(x14,a16,a16,13), redundant(x14,a16,a16,34), redundant(x14,a16,a16,74), redundant(x16,a16,a5,72), redundant(x16,a16,a16,74), redundant(x18,a16,a24,33), compObjWrittenByActivityBeforeActivity(x4,a16,a2,11), compObjWrittenByActivityBeforeActivity(x14,a16,a4,9), compObjWrittenByActivityBeforeActivity(x16,a16,a25,30), compObjWrittenByActivityBeforeActivity(x16,a16,a16,13), compObjWrittenByActivityBeforeActivity(x18,a16,a25,30), compObjWrittenByActivityBeforeActivity(x18,a16,a24,12)}