XPlus side for https://github.com/dbera/OfflineMBT/issues/326 - [x] Investigate: is `symbolic-ref` used and/or required in `AssignmentAction` and `RecordFieldAssignmentAction`? - [x] Investigate `FieldAccessExp`: why not just reuse ExpressionRecordAccess here? - [x] 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?