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

{}

{compObjWrittenByActivityBeforeActivity(x12,a4,a10,31)}

{redundant(x9,a23,a22,34), compObjWrittenByActivityBeforeActivity(x3,a23,a23,11), compObjWrittenByActivityBeforeActivity(x3,a23,a23,36), compObjWrittenByActivityBeforeActivity(x3,a23,a23,58), compObjWrittenByActivityBeforeActivity(x9,a23,a10,32), compObjWrittenByActivityBeforeActivity(x15,a23,a23,11), compObjWrittenByActivityBeforeActivity(x15,a23,a23,36), compObjWrittenByActivityBeforeActivity(x15,a23,a23,58)}

{redundant(x19,a19,a23,13), compObjWrittenByActivityBeforeActivity(x4,a19,a12,32), compObjWrittenByActivityBeforeActivity(x9,a19,a23,34), compObjWrittenByActivityBeforeActivity(x19,a19,a20,9)}