pub fn analyze_dataflow(expr: &TLExpr) -> DataflowAnalysis
Perform dataflow analysis on a logical expression.