add little change for semetic_check.c