Function parol::analysis::reachability::all_non_terminals_reachable

pub fn all_non_terminals_reachable(cfg: &Cfg) -> bool

Detects whether all non-terminals are reachable