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

{}

{redundant(x13,a5,endflow,46), redundant(x13,a5,endflow,63), redundant(x13,a5,endflow,80), redundant(x13,a5,a5,11), redundant(x13,a5,a6,37), redundant(x18,a5,endflow,46), redundant(x18,a5,endflow,53), redundant(x18,a5,endflow,63), redundant(x18,a5,endflow,70), redundant(x18,a5,endflow,80), redundant(x18,a5,endflow,87), redundant(x18,a5,a11,56), redundant(x18,a5,a21,50), redundant(x18,a5,a21,67), redundant(x18,a5,a21,84), redundant(x25,a5,endflow,46), redundant(x25,a5,endflow,53), redundant(x25,a5,endflow,63), redundant(x25,a5,endflow,70), redundant(x25,a5,a22,44), redundant(x25,a5,a22,61), compObjWrittenByActivityBeforeActivity(x13,a5,a25,10), compObjWrittenByActivityBeforeActivity(x18,a5,a17,9), compObjWrittenByActivityBeforeActivity(x25,a5,a6,37)}

{}

{redundant(x4,a1,endflow,49), redundant(x4,a1,endflow,56), redundant(x4,a1,endflow,66), redundant(x4,a1,endflow,73), redundant(x4,a1,endflow,83), redundant(x4,a1,endflow,90), redundant(x23,a1,a19,58), compObjWrittenByActivityBeforeActivity(x4,a1,endflow,30), compObjWrittenByActivityBeforeActivity(x4,a1,endflow,37), compObjWrittenByActivityBeforeActivity(x4,a1,a16,44), compObjWrittenByActivityBeforeActivity(x4,a1,a16,61), compObjWrittenByActivityBeforeActivity(x4,a1,a16,78), compObjWrittenByActivityBeforeActivity(x6,a1,endflow,37), compObjWrittenByActivityBeforeActivity(x23,a1,endflow,30), compObjWrittenByActivityBeforeActivity(x23,a1,endflow,37), compObjWrittenByActivityBeforeActivity(x23,a1,a6,40), compObjWrittenByActivityBeforeActivity(x24,a1,endflow,30), compObjWrittenByActivityBeforeActivity(x24,a1,endflow,37), compObjWrittenByActivityBeforeActivity(x24,a1,endflow,49), compObjWrittenByActivityBeforeActivity(x24,a1,endflow,56), compObjWrittenByActivityBeforeActivity(x24,a1,endflow,66), compObjWrittenByActivityBeforeActivity(x24,a1,endflow,73), compObjWrittenByActivityBeforeActivity(x24,a1,endflow,83), compObjWrittenByActivityBeforeActivity(x24,a1,endflow,90)}