Function bug_verdict 

pub fn bug_verdict(
    base: Verdict,
    d: &Discrimination<'_>,
    p2p: &PassToPass,
    held_out: &HeldOut,
) -> Verdict

The verdict on a bug task: base (the ordinary rules, held-out included) stands only if every reproduction passed on the final tree, the revert was rejected by an assertion, every reproducing statement has a special case and each was rejected (or ruled), the pass-to-pass set passed by name and the held-out variants passed. Reasons name statements, never a held-out test.