evaluating a set-valued function.  This fixes some additional problems
with rescanning partially-evaluated SRFs.