Function emit_results_and_verdict 

pub fn emit_results_and_verdict<'tcx>(
    tcx: TyCtxt<'tcx>,
    all_results: &[PropertyCheckResult<'tcx>],
)