• Overview
• Implementation
• # If the change CMD corresponding to the newly added property is “edit-state-property.”
• # If the newly added property is non-state property, i.e. change command associated with the new property is not edit_state_property and is a new command, like for renaming the states we use ‘rename_state’ and for adding new state it’s ‘add_new_state’.