Fixed incompatibilities that existed between IT and SM's semantic analyzer and our project