6,207 model-checking "https:" positions