------------------------------------------
{compObjWrittenByActivityBeforeActivity(x1,a16,a16,8)}

{redundant(x9,a21,a21,10), compObjWrittenByActivityBeforeActivity(x9,a21,a16,9)}

{}

{compObjWrittenByActivityBeforeActivity(x9,a7,a21,9)}

{}