WINTERMUTE: Extend inspection to properties