test for-comprehension of State