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

{redundant(x9,a21,endflow,52), redundant(x9,a21,endflow,80), redundant(x9,a21,a11,47), redundant(x9,a21,a11,75), redundant(x11,a21,endflow,33), redundant(x11,a21,endflow,52), redundant(x11,a21,endflow,61), redundant(x11,a21,endflow,80), redundant(x11,a21,a18,27), redundant(x11,a21,a1,28), redundant(x11,a21,a1,56), redundant(x11,a21,a2,45), redundant(x11,a21,a2,73), redundant(x13,a21,endflow,33), redundant(x13,a21,endflow,61), redundant(x13,a21,a12,35), redundant(x13,a21,a12,63), redundant(x14,a21,endflow,20), compObjWrittenByActivityBeforeActivity(x9,a21,endflow,20), compObjWrittenByActivityBeforeActivity(x9,a21,endflow,33), compObjWrittenByActivityBeforeActivity(x9,a21,endflow,41), compObjWrittenByActivityBeforeActivity(x9,a21,endflow,61), compObjWrittenByActivityBeforeActivity(x9,a21,endflow,69), compObjWrittenByActivityBeforeActivity(x9,a21,a14,46), compObjWrittenByActivityBeforeActivity(x9,a21,a14,74), compObjWrittenByActivityBeforeActivity(x11,a21,endflow,20), compObjWrittenByActivityBeforeActivity(x11,a21,a21,6), compObjWrittenByActivityBeforeActivity(x11,a21,a4,26), compObjWrittenByActivityBeforeActivity(x11,a21,a18,55), compObjWrittenByActivityBeforeActivity(x13,a21,endflow,20), compObjWrittenByActivityBeforeActivity(x13,a21,a17,22), compObjWrittenByActivityBeforeActivity(x14,a21,a22,14)}