/// <inheritdoc/>
        public EffectfulInstructions Analyze(FlowGraph graph)
        {
            // Suggest exception spec analyses if the graph doesn't have any yet.
            if (!graph.HasAnalysisFor <PrototypeExceptionSpecs>())
            {
                graph = graph.WithAnalysis(
                    new ConstantAnalysis <PrototypeExceptionSpecs>(
                        RuleBasedPrototypeExceptionSpecs.Default));
            }
            if (!graph.HasAnalysisFor <InstructionExceptionSpecs>())
            {
                graph = graph.WithAnalysis(
                    new ConstantAnalysis <InstructionExceptionSpecs>(
                        new TrivialInstructionExceptionSpecs(
                            graph.GetAnalysisResult <PrototypeExceptionSpecs>())));
            }

            var results = ImmutableHashSet.CreateBuilder <ValueTag>();

            foreach (var instruction in graph.NamedInstructions)
            {
                if (IsEffectful(instruction))
                {
                    results.Add(instruction.Tag);
                }
            }
            return(new EffectfulInstructions(results.ToImmutable()));
        }