Function resolve_instance_audited 

pub fn resolve_instance_audited(
    ctx: &Context,
    mctx: &mut MetaCtx,
    required: &Term,
) -> Option<InstanceChoice>

resolve_instance with the search recorded — the same answer, plus which entry won, at what priority and declaration index, and everything that was tried on the way.

The winner is guaranteed identical to resolve_instance’s: both call one search.