upon fully prepaying the outstanding principal (i.e. repayment before maturity) the state transition function needs to update - terminationDate = eventTime - contractPerformance = matured
upon fully prepaying the outstanding principal (i.e. repayment before maturity) the state transition function needs to update