Minor changes to algorithm dispatch and choice#67

mhovd merged 1 commit intotypestate_settingsLAPKB/PMcore:typestate_settingsfrom

typestate_settings_extendedLAPKB/PMcore:typestate_settings_extendedCopy head branch name to clipboard