Tests should accept any correct program

The long version of a short code-review comment.