标签: 静态推理