Syntax highlighting different if predicate in parentheses.

[fmehta]

It appears that syntax highlighting for "ensures" uses a different color if the predicate that follows is in parentheses.

Here is a screenshot:

This behaviour is also observed for "requires", "invariant", and "decreases".

Best regards, Farhad.

[fabianhauser]

Note that the Syntax highlighting is based on https://github.com/tvi/sublime-dafny, so if this is fixed, we should open a pull request there.