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

{}

{redundant(x9,a5,a13,70), compObjWrittenByActivityBeforeActivity(x9,a5,a9,50), compObjWrittenByActivityBeforeActivity(x9,a5,a13,40)}

{compObjWrittenByActivityBeforeActivity(x11,a21,a5,9), compObjWrittenByActivityBeforeActivity(x16,a21,a1,8), compObjWrittenByActivityBeforeActivity(x17,a21,a3,21)}


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

{}

{}

{}