| NEW_IDENTIFIER { $$ = fixStateClausesId ($1); }
| BufConstraintSrefExpr TLSQBR TRSQBR { $$ = sRef_makeAnyArrayFetch ($1); }
| BufConstraintSrefExpr TLSQBR CCONSTANT TRSQBR {
| NEW_IDENTIFIER { $$ = fixStateClausesId ($1); }
| BufConstraintSrefExpr TLSQBR TRSQBR { $$ = sRef_makeAnyArrayFetch ($1); }
| BufConstraintSrefExpr TLSQBR CCONSTANT TRSQBR {