it is not lazy in this compiler pass