It is often claimed that functional languages are ideal for building static analysis applications. However, most applications are on small academic languages. In this document we test the claim on a real-world language, C/AL, which is the language used for...