Function expr_to_factor_graph 

pub fn expr_to_factor_graph(expr: &TLExpr) -> Result<FactorGraph>

Convert a TensorLogic expression to a factor graph.

This function analyzes the logical structure and creates a factor graph where predicates become factors and quantified variables become nodes.