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

{redundant(x3,a14,a17,20), compObjWrittenByActivityBeforeActivity(x3,a14,a19,19)}

{}