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

{}

{redundant(x11,a9,endflow,84), redundant(x12,a9,a19,8), redundant(x20,a9,a14,49), compObjWrittenByActivityBeforeActivity(x11,a9,endflow,63), compObjWrittenByActivityBeforeActivity(x11,a9,endflow,69), compObjWrittenByActivityBeforeActivity(x11,a9,endflow,76), compObjWrittenByActivityBeforeActivity(x11,a9,a10,52), compObjWrittenByActivityBeforeActivity(x11,a9,a5,78), compObjWrittenByActivityBeforeActivity(x12,a9,a23,7), compObjWrittenByActivityBeforeActivity(x20,a9,a19,8)}

{redundant(x7,a25,endflow,67), redundant(x7,a25,endflow,74), redundant(x7,a25,endflow,82), redundant(x7,a25,endflow,91), redundant(x7,a25,a13,70), redundant(x7,a25,a20,76), compObjWrittenByActivityBeforeActivity(x7,a25,endflow,58), compObjWrittenByActivityBeforeActivity(x7,a25,a11,60), compObjWrittenByActivityBeforeActivity(x15,a25,endflow,58), compObjWrittenByActivityBeforeActivity(x15,a25,endflow,67), compObjWrittenByActivityBeforeActivity(x15,a25,endflow,74), compObjWrittenByActivityBeforeActivity(x15,a25,endflow,82)}