------------------------------------------
{subsActivityBeforeActivity(a17,a17,6)}

{redundant(x6,a17,endflow,28), redundant(x6,a17,endflow,31), redundant(x6,a17,endflow,39), redundant(x6,a17,endflow,42), redundant(x12,a17,endflow,28), redundant(x12,a17,endflow,31), redundant(x12,a17,a10,26), compObjWrittenByActivityBeforeActivity(x6,a17,a12,15), compObjWrittenByActivityBeforeActivity(x12,a17,a17,7), compObjWrittenByActivityBeforeActivity(x12,a17,a8,25), compObjWrittenByActivityBeforeActivity(x21,a17,a25,12)}