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

{redundant(x18,a17,endflow,96), redundant(x18,a17,endflow,99), redundant(x18,a17,endflow,101), redundant(x18,a17,a15,88), redundant(x18,a17,a11,89), redundant(x18,a17,a8,93), redundant(x22,a17,endflow,74), redundant(x22,a17,endflow,77), redundant(x22,a17,endflow,79), redundant(x24,a17,endflow,74), redundant(x24,a17,endflow,79), compObjWrittenByActivityBeforeActivity(x18,a17,a6,6), compObjWrittenByActivityBeforeActivity(x22,a17,a5,70), compObjWrittenByActivityBeforeActivity(x24,a17,a8,71)}

{}