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

    Module src/control-flow/cfg-properties

    CfgProperty
    PropertyReport
    assertCfgSatisfiesProperties