Filtered Index: #model-checking