Both of these cases are interesting, were not covered by behavior tests,
and should be inspected carefully with regards to the language
specification.