fix constant propagation, and a little bit clean up of back end.