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

{}

{}

{}

{redundant(x10,a20,a13,10), compObjWrittenByActivityBeforeActivity(x10,a20,a18,9)}