Function terms_match 

pub(super) fn terms_match(
    idx: &VolumeIndex,
    memo: &PathMemos,
    ctx: &mut EvalCtx,
    terms: &[CTerm],
    id: EntryId,
) -> bool