added the first synerror I could mine from our EBNF. an example for more mining and more synerrors