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

{compObjWrittenByActivityBeforeActivity(x23,a23,a14,16)}

{compObjWrittenByActivityBeforeActivity(x22,a21,a21,9)}

{redundant(x1,a11,a4,14), compObjWrittenByActivityBeforeActivity(x1,a11,a17,7)}