Relation EXIT-CONDITION

Arity: 2
Subrelation-Of: Postcondition