true if the code needs to go all the way through to code generation. This implies things like needing lowering to simpler forms.
See Implementation