+ else if ( (s_whichSpecPart == QPRECLAUSE
+ || s_whichSpecPart == QPOSTCLAUSE
+ || s_whichSpecPart == QINVARIANT )
+ && (!isConstraintToken(tok) )
+ )
+ {
+ DPRINTF((message("Treating specifaction keyword %s as an identifiers. (This corresponds to"
+ " token %d and we're in the specification denoted by %d see cgrammar_tokens.h"
+ " for an explanation of these numbers",
+ yytext, tok, s_whichSpecPart)
+ ));
+
+ /* Allow specificiation keywords to be used as identifiers in these contexts. */
+ }
+ else