Refactored the specanalyser
implemented expression translator