v1.0.1 supports syntax highlight for the following language features:
- member accessor
- record data type
- one predicate
- anonymous edges
- primitive data types
- operators
- path condition
- assert/invariant/conditional edges/variables
- fresh/initial statements
- modifiers
- options