Semantic Analysis of COOL language