------------------------------------------
{}

{redundant(x23,a4,endflow,26), redundant(x23,a4,endflow,33), redundant(x23,a4,endflow,39), redundant(x23,a4,a14,21), redundant(x23,a4,a6,22), redundant(x23,a4,a1,25), redundant(x23,a4,a1,32), redundant(x23,a4,a1,38), compObjWrittenByActivityBeforeActivity(x3,a4,endflow,26), compObjWrittenByActivityBeforeActivity(x3,a4,endflow,39), compObjWrittenByActivityBeforeActivity(x3,a4,endflow,49), compObjWrittenByActivityBeforeActivity(x11,a4,a19,15), compObjWrittenByActivityBeforeActivity(x23,a4,a18,5)}