filling in ast normalization code