Path	Lines of Code
Sources/BoogieAST/BoogieAST.cs	1181
Sources/BoogieAST/TestMain.cs	11