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

{redundant(x16,a9,endflow,20), redundant(x16,a9,endflow,26), redundant(x16,a9,endflow,34), redundant(x16,a9,endflow,44), redundant(x16,a9,endflow,50), redundant(x16,a9,endflow,58), redundant(x16,a9,endflow,67), redundant(x16,a9,endflow,73), redundant(x16,a9,endflow,81), compObjWrittenByActivityBeforeActivity(x16,a9,a4,19), compObjWrittenByActivityBeforeActivity(x16,a9,a4,25), compObjWrittenByActivityBeforeActivity(x16,a9,a4,33), compObjWrittenByActivityBeforeActivity(x16,a9,a4,43), compObjWrittenByActivityBeforeActivity(x16,a9,a4,49), compObjWrittenByActivityBeforeActivity(x16,a9,a4,57), compObjWrittenByActivityBeforeActivity(x16,a9,a4,66), compObjWrittenByActivityBeforeActivity(x16,a9,a4,72), compObjWrittenByActivityBeforeActivity(x16,a9,a4,80)}

{redundant(x6,a4,a8,39), redundant(x6,a4,a21,45), redundant(x6,a4,a21,71), redundant(x6,a4,a20,50), redundant(x6,a4,a20,76), compObjWrittenByActivityBeforeActivity(x6,a4,a23,6)}