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

{}

{redundant(x6,a14,a9,8), compObjWrittenByActivityBeforeActivity(x6,a14,a21,7)}

{compObjWrittenByActivityBeforeActivity(x6,a3,a14,7)}


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

{}

{}

{}