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

{}

{redundant(x20,a22,a22,10), compObjWrittenByActivityBeforeActivity(x17,a22,a16,8), compObjWrittenByActivityBeforeActivity(x20,a22,a5,9)}

{}

{}


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

{}

{}

{}

{}