Function subsumes 

pub fn subsumes(
    prev: &CompiledQuery,
    prev_opt: &QueryOptions,
    next: &CompiledQuery,
    next_opt: &QueryOptions,
) -> bool

True when every entry matching next (under next_opt) is guaranteed to be present in prev’s materialized ids, in the right order.