Add attributes for preconditions and postconditions for commands. #65
Description
Add optional fields for commands to specify necessary preconditions and postconditions, including safety precautions.
{{ message }}
Add optional fields for commands to specify necessary preconditions and postconditions, including safety precautions.