Adding new state machine to Lease spec
Adding Immutable validator