add more semantic tests
Merge branch 'corne'