Fix typo in test

Introduced in 9b12d8b.
Merge pull request #1137 from lucaswerkmeister/patch-1

Fix typo in test
fix #1136 fill in some missing checks with shortcut refinement syntax
Merge branch 'master' into constructors