Add a slightly generalized version of path_forall_1_beta