Function eq_counted 

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

a == b, counting a unit of work for each pair of elements of collections it compares, which == can’t: it has no budget. It takes the same shortcuts.