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

{redundant(x21,a25,endflow,28), compObjWrittenByActivityBeforeActivity(x17,a25,endflow,17), compObjWrittenByActivityBeforeActivity(x17,a25,endflow,28), compObjWrittenByActivityBeforeActivity(x17,a25,endflow,37), compObjWrittenByActivityBeforeActivity(x17,a25,endflow,40), compObjWrittenByActivityBeforeActivity(x21,a25,endflow,17), compObjWrittenByActivityBeforeActivity(x21,a25,endflow,40), compObjWrittenByActivityBeforeActivity(x21,a25,a1,27)}

{}