semantic analyser updated