Added message for unsupported model-checker items.