Benchmarking Candidate Coverage in Typed Decision Models · Bharat Hunt