chickadee » checks » >>>%

>>>% loc result-name result #!rest testsprocedure

Postcondition test. Procedure version of >>>, result needs to be named.