Update Concrete Syntax and Abstract Syntax