Strange behaviour when Definition clashes with record field

[leuschel]

The behaviour of the parser here is not really consistent:

MACHINE DefNameAsRecordField
DEFINITIONS
  aa == 1;
  yy == 2
CONSTANTS myrec
PROPERTIES
 myrec = rec(xx:aa,yy:2) &  // <- Parse error
 myrec = rec(xx:aa,`yy`:2)  // <- Ok
ASSERTIONS
  yy = 2;   // <- Ok
  `yy` = 2  // <- Ok
END

Maybe we should allow yy as record field also without quotes? Or we should try and improve the error message.

[leuschel]

This is slightly related to the issue solved here in prob_prolog:
bdbcb877 message when record field rewriten during definition expansion
2bfecaa6 detect illegal record field definition rewrites