Safety Case at Avride — BranchFactor