chickadee
»
checks
»
>>%
Identifier search
>>%
result-name
result
#!rest
tests
procedure
Postcondition test. Procedure version of <<, result needs to be named.