Function terms_match_iter 

pub(super) fn terms_match_iter<'a>(
    idx: &VolumeIndex,
    memo: &PathMemos,
    ctx: &mut EvalCtx,
    terms: impl Iterator<Item = &'a CTerm>,
    id: EntryId,
) -> bool

Iterator form so refine can chain the driver term with the residuals without cloning matchers (CompiledGroup::all_terms).