Make the ISO spec flag value internal predicate deterministic