------------------------------------------
{subsActivityBeforeActivity(a14,a14,13)}

{redundant(x11,a6,a16,78), compObjWrittenByActivityBeforeActivity(x11,a6,a17,77), compObjWrittenByActivityBeforeActivity(x18,a6,a16,78), compObjWrittenByActivityBeforeActivity(x20,a6,a11,79)}

{}

{}

{redundant(x12,a14,endflow,45), redundant(x12,a14,endflow,53), redundant(x12,a14,endflow,65), redundant(x12,a14,endflow,73), redundant(x12,a14,endflow,92), redundant(x12,a14,endflow,100), redundant(x12,a14,a4,47), redundant(x12,a14,a4,67), redundant(x12,a14,a4,94), compObjWrittenByActivityBeforeActivity(x7,a14,endflow,39), compObjWrittenByActivityBeforeActivity(x7,a14,endflow,45), compObjWrittenByActivityBeforeActivity(x7,a14,endflow,59), compObjWrittenByActivityBeforeActivity(x7,a14,endflow,65), compObjWrittenByActivityBeforeActivity(x7,a14,a14,14), compObjWrittenByActivityBeforeActivity(x12,a14,endflow,39), compObjWrittenByActivityBeforeActivity(x12,a14,endflow,59), compObjWrittenByActivityBeforeActivity(x12,a14,endflow,86), compObjWrittenByActivityBeforeActivity(x12,a14,a12,42), compObjWrittenByActivityBeforeActivity(x12,a14,a12,62), compObjWrittenByActivityBeforeActivity(x12,a14,a12,89)}

{}