Example code used in Contract Developer Certification Course: Non Functional Requirements Index Initial State Upgrade 1 Upgrade 2 Upgrade 3 Upgrade Package Extensible Swap