------------------------------------------
{subsActivityBeforeActivity(a5,a5,12), subsActivityBeforeActivity(a5,a5,41), subsActivityBeforeActivity(a5,a5,71), subsActivityBeforeActivity(a5,a5,101)}

{redundant(x2,a6,endflow,51), redundant(x2,a6,endflow,55), redundant(x2,a6,endflow,63), redundant(x2,a6,endflow,67), redundant(x2,a6,endflow,82), redundant(x2,a6,endflow,86), redundant(x2,a6,endflow,94), redundant(x2,a6,endflow,98), redundant(x2,a6,a25,59), redundant(x2,a6,a25,90), redundant(x2,a6,a21,54), redundant(x2,a6,a21,66), redundant(x2,a6,a21,85), redundant(x2,a6,a21,97), redundant(x23,a6,endflow,51), redundant(x23,a6,endflow,55), redundant(x23,a6,endflow,63), redundant(x23,a6,endflow,67), compObjWrittenByActivityBeforeActivity(x2,a6,a8,58), compObjWrittenByActivityBeforeActivity(x2,a6,a8,89), compObjWrittenByActivityBeforeActivity(x2,a6,a25,47), compObjWrittenByActivityBeforeActivity(x2,a6,a25,78), compObjWrittenByActivityBeforeActivity(x23,a6,a20,39)}

{compObjWrittenByActivityBeforeActivity(x2,a12,a6,48), compObjWrittenByActivityBeforeActivity(x2,a12,a6,60), compObjWrittenByActivityBeforeActivity(x2,a12,a6,81), compObjWrittenByActivityBeforeActivity(x2,a12,a6,93)}

{redundant(x22,a3,a24,110), compObjWrittenByActivityBeforeActivity(x14,a3,a6,9), compObjWrittenByActivityBeforeActivity(x22,a3,a14,41), compObjWrittenByActivityBeforeActivity(x22,a3,a17,76), compObjWrittenByActivityBeforeActivity(x22,a3,a4,109)}

{redundant(x5,a5,a5,14), redundant(x5,a5,a5,82), redundant(x5,a5,a5,118), compObjWrittenByActivityBeforeActivity(x5,a5,a15,8), compObjWrittenByActivityBeforeActivity(x16,a5,a15,8)}