Compiler intermediate language for static analysis.