AutoStrong property checker