------------------------------------------
{subsActivityBeforeActivity(a23,a23,9), subsActivityBeforeActivity(a16,a16,12), subsActivityBeforeActivity(a19,a19,13)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x23,a16,a22,12)}

{redundant(x20,a19,a19,17), compObjWrittenByActivityBeforeActivity(x8,a19,a19,17), compObjWrittenByActivityBeforeActivity(x20,a19,a23,10)}

{compObjWrittenByActivityBeforeActivity(x12,a3,a23,11)}