I can't believe there wasn't already a test in there that checked this kind
of thing. Wait, of course there couldn't have been, because it was specific
to define/contract and with-contract, and _I'm_ writing those tests. Ah,
well, fixed! :p
svn: r11707