Compiler: more name propagation