Define Type Checking In Semantic Analysis