XPlus side for https://github.com/dbera/OfflineMBT/issues/326 - [ ] Investigate: is `symbolic-ref` used and/or required in `AssignmentAction` and `RecordFieldAssignmentAction`? - [ ] Investigate `FieldAccessExp`: why not just reuse ExpressionRecordAccess here? - [ ] Document the actions language in the design documentation
XPlus side for dbera/OfflineMBT#326
symbolic-refused and/or required inAssignmentActionandRecordFieldAssignmentAction?FieldAccessExp: why not just reuse ExpressionRecordAccess here?