タグ「_KLEE LABEL」が付けられているもの