Class UnionScopeChangeOptimizer.UnionArgChecker