Semantic checker minor modification
Semantic checker minor modification