@eagleoutice/flowr - v2.17.4
    Preparing search index...

    Module src/util/fixpoint

    DemandSolver
    ReachSummaries
    StronglyConnected
    DemandProblem
    unionOfSets