eliminate X=X which can happen due to elimination