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

{redundant(x21,a13,a2,13), compObjWrittenByActivityBeforeActivity(x21,a13,a7,12)}

{compObjWrittenByActivityBeforeActivity(x3,a19,a22,16)}


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

{}

{}