------------------------------------------
{subsActivityBeforeActivity(a21,a21,7)}

{redundant(x23,a21,a25,127), redundant(x23,a21,a15,123), redundant(x23,a21,a15,133), compObjWrittenByActivityBeforeActivity(x23,a21,a1,119), compObjWrittenByActivityBeforeActivity(x23,a21,a25,109), compObjWrittenByActivityBeforeActivity(x23,a21,a15,105), compObjWrittenByActivityBeforeActivity(x23,a21,a15,115)}

{}