Come dice il titolo. Le condizioni di post di una routine devono essere un sottoinsieme delle precondizioni per la routine?
Il modo in cui comprendo le post-condizioni è che sono del tutto indipendenti dalle precondizioni, quindi la mia comprensione mi porta a pensare che non siano un sottoinsieme di precondizioni.
Qualsiasi input sarebbe apprezzato.