Function is_spill_certificate 

pub fn is_spill_certificate(
    ranges: &[LiveRange],
    registers: usize,
    must_spill: &[usize],
) -> bool

Re-check a spill certificate: the listed variables pairwise interfere (are mutually live) and number more than registers — so they cannot all reside in registers at once.