First stable semantic analyser.