Add soundness test

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