Add a test for reification of invalid model