invariant:
   'invariant' ('(' ')')? blockStatement
   ;