hoaproject/Compiler — pull request #32 by Hywan (2014-09-28 20:11:04+00:00)
Title: Add soundness test

From article http://hoa-project.net/Fr/Literature/Research/Amost12.html.