protected override FlightEnabledAnalysisData MergeAnalysisData(FlightEnabledAnalysisData value1, FlightEnabledAnalysisData value2, BasicBlock forBlock) => forBlock.DominatesPredecessors() ? FlightEnabledAnalysisDomain.Intersect(value1, value2, FlightEnabledAbstractValueDomain.Intersect) : FlightEnabledAnalysisDomainInstance.Merge(value1, value2);
protected override FlightEnabledAnalysisData MergeAnalysisData(FlightEnabledAnalysisData value1, FlightEnabledAnalysisData value2) => FlightEnabledAnalysisDomainInstance.Merge(value1, value2);