LARA This is an old revision of the document! Octagons and Relational Analyses Octagons paper contains motivation for relational analysis