A working version to add attribute grammars to checking syntax