Predicate signature TypeFlowInput::instanceofDisjunctionGuarded

Holds if n is a value that is guarded by a disjunction of a dynamic type check that checks if n is an instance of type t_i where t is one of those t_i.