Member predicate IndefiniteAbstractValue::split

Gets an abstract value representing a subset of the concrete values represented by this abstract value.

Taken together, all results of this predicate taken together must cover the entire set of concrete values represented by this abstract value.