diff --git a/Graciela.tmLanguage b/Graciela.tmLanguage
index 7586cdd..b6c1222 100644
--- a/Graciela.tmLanguage
+++ b/Graciela.tmLanguage
@@ -10,11 +10,19 @@
Graciela
patterns
+
+ comment
+ Builtin waves
+ match
+ (var|const|[\{]+(pre|post|inv|bound|repinv|coupinv|:)|(pre|post|inv|bound|repinv|coupinv|:)[\}]+|[{}〈〉⟅⟆])
+ name
+ entity.name.function
+
comment
Keywords and instructions
match
- \b(abstract|program|begin|do|end|exist|notexist|forall|sum|product|count|if|fi|implements|in|inout|od|out|ref|proc|func|return|type)\b
+ \b(abstract|program|begin|do|end|exist|notexist|forall|sum|product|count|if|fi|implements|in|inout|od|out|ref|proc|func|rel|return|type)\b
name
keyword.control
@@ -161,14 +169,6 @@
name
storage.type
-
- comment
- Builtin waves
- match
- (var|const|[\{]+(pre|post|inv|a|bound|repinv|coupinv)|(pre|post|inv|a|bound|repinv|coupinv)[\}]+|[{}〈〉⟅⟆])
- name
- entity.name.function
-
comment
Braces, brackets, parentheses...