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

{redundant(x10,a24,endflow,58), compObjWrittenByActivityBeforeActivity(x4,a24,endflow,46), compObjWrittenByActivityBeforeActivity(x4,a24,endflow,50), compObjWrittenByActivityBeforeActivity(x4,a24,endflow,58), compObjWrittenByActivityBeforeActivity(x4,a24,endflow,64), compObjWrittenByActivityBeforeActivity(x4,a24,endflow,66), compObjWrittenByActivityBeforeActivity(x5,a24,endflow,46), compObjWrittenByActivityBeforeActivity(x5,a24,endflow,50), compObjWrittenByActivityBeforeActivity(x5,a24,endflow,58), compObjWrittenByActivityBeforeActivity(x5,a24,endflow,66), compObjWrittenByActivityBeforeActivity(x10,a24,endflow,46), compObjWrittenByActivityBeforeActivity(x10,a24,endflow,50), compObjWrittenByActivityBeforeActivity(x10,a24,endflow,66), compObjWrittenByActivityBeforeActivity(x10,a24,a4,56)}

{redundant(x8,a14,endflow,49), redundant(x8,a14,endflow,56), redundant(x8,a14,endflow,74), redundant(x8,a14,endflow,79), compObjWrittenByActivityBeforeActivity(x8,a14,a20,41)}

{}

{}