Predicate TypeFlow::bestUnionType

Holds if the runtime type of n is bounded by a union type and if this bound is likely to be better than the static type of n. The union type is made up of the types t related to n by this predicate, and the flag exact indicates whether t is an exact bound or merely an upper bound.