Test soundness.

See https://github.com/hoaproject/Compiler/pull/33.