------------------------------------------
{compObjWrittenByActivityBeforeActivity(x19,a12,a12,8), subsActivityBeforeActivity(a21,a21,11)}

{}

{}

{redundant(x9,a21,a23,11), compObjWrittenByActivityBeforeActivity(x9,a21,a4,10)}

{compObjWrittenByActivityBeforeActivity(x9,a22,a21,10)}