Function edge_is_active 

fn edge_is_active(
    edge: &FlowEdge,
    nodes_by_id: &HashMap<String, &FlowNode>,
    scope: &ExecutionScope,
    skipped: &HashSet<String>,
) -> bool

True iff the given edge carries control + data flow under the current scope. See should_skip for the full ruleset.