Check STDERR in tests.
Merge branch 'disjunction' of github.com:alviano/wasp into disjunction