Class ValueRangeAnalysisFactory.Branch