More optimizations used at the use-def level