SEL Compiler and Abstract Analyzers