Function equals_counted 

pub fn equals_counted(
    a: &Value,
    b: &Value,
    budget: &mut Budget,
) -> OpResult<bool>

equals, counting a unit of work for each pair of elements of collections it compares.