Pure postcondition decision from observed facts. A missing postcondition always passes (nothing recorded to assert).
Pure postcondition decision from observed facts. A missing postcondition always passes (nothing recorded to assert).