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