fix eliminator elaboration