TerminationConditions

When a formula is changed, you need to be able to change which termination conditions are associated with the formula. Users consider termination conditions to be part of the formula specification.