SpecHelper: add more checks for Properties