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

{redundant(x1,a23,a23,7), compObjWrittenByActivityBeforeActivity(x1,a23,a22,6), compObjWrittenByActivityBeforeActivity(x8,a23,a23,7)}

{}


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

{}

{}