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

{compObjWrittenByActivityBeforeActivity(x14,a16,a16,8)}

{}

{redundant(x13,a11,endflow,88), redundant(x13,a11,endflow,96), redundant(x13,a11,endflow,103), redundant(x13,a11,endflow,112), redundant(x13,a11,endflow,120), redundant(x13,a11,endflow,127), redundant(x13,a11,a21,92), redundant(x13,a11,a21,116), compObjWrittenByActivityBeforeActivity(x6,a11,endflow,88), compObjWrittenByActivityBeforeActivity(x13,a11,endflow,77), compObjWrittenByActivityBeforeActivity(x13,a11,a14,80)}