test for issue #7.

Actually < > <= >= == != are allowed too.