A priori bounds for truncation error of branched continued fraction expansions of Horn's hypergeometric functions H₄ and their ratios | Synapse