------------------------------------------
{subsActivityBeforeActivity(a6,a6,8), subsActivityBeforeActivity(a22,a22,9)}

{redundant(x17,a6,a12,45), redundant(x17,a6,a12,64), redundant(x17,a6,a12,84), redundant(x17,a6,a12,104), compObjWrittenByActivityBeforeActivity(x17,a6,a6,9), compObjWrittenByActivityBeforeActivity(x17,a6,a11,43), compObjWrittenByActivityBeforeActivity(x17,a6,a11,62), compObjWrittenByActivityBeforeActivity(x17,a6,a11,82), compObjWrittenByActivityBeforeActivity(x17,a6,a11,102), compObjWrittenByActivityBeforeActivity(x17,a6,a12,38), compObjWrittenByActivityBeforeActivity(x17,a6,a12,57), compObjWrittenByActivityBeforeActivity(x17,a6,a12,77), compObjWrittenByActivityBeforeActivity(x17,a6,a12,97)}

{redundant(x4,a22,a10,54), compObjWrittenByActivityBeforeActivity(x4,a22,a25,31)}

{redundant(x19,a4,a24,98), redundant(x24,a4,a2,76), compObjWrittenByActivityBeforeActivity(x19,a4,a13,97), compObjWrittenByActivityBeforeActivity(x24,a4,a18,33)}


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

{}

{}

{}