fix some include bugs when -Wall
fix bugs in semantic.c about function params check