LARA This is an old revision of the document! Simple Programming Language for Abstract Interpretation