xogeny/aplus — pull request #1 by choeger (2013-05-16 10:41:43+00:00)
Title: Ambiguity in the spec

The specification seems to ignore the error case in the definition
of then. This testcase should clarify it (and indeed fails).

Signed-off-by: Christoph Höger