A WKT Parser generated with grako