roleOptions property
Values of role options by name, as --start /home on the command
line, for the choices of the roles when the app of the case is
rendered. A case that the harness builds for a value of a mode option
has that value here (see ContractHarness.casesOfRole).
Implementation
final Map<String, String?> roleOptions;