Compiler for SIL