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

{}

{}

{}

{redundant(x18,a22,a12,10), compObjWrittenByActivityBeforeActivity(x18,a22,a3,9)}