rename SimplifyAST => NormalizeAST