------------------------------------------
{subsActivityBeforeActivity(a16,a16,10), subsActivityBeforeActivity(a8,a8,11)}

{}

{compObjWrittenByActivityBeforeActivity(x15,a8,a16,11)}

{}

{redundant(x16,a17,a16,12), redundant(x16,a17,a8,14), compObjWrittenByActivityBeforeActivity(x5,a17,a21,15), compObjWrittenByActivityBeforeActivity(x15,a17,a8,11), compObjWrittenByActivityBeforeActivity(x16,a17,a19,9)}

{}