Function expr_to_proof_expr 

pub fn expr_to_proof_expr(
    expr: &Expr,
    schema: &[(Ident, ColumnType)],
) -> PlannerResult<DynProofExpr>

Convert an [datafusion::expr::Expr] to DynProofExpr

Panics

The function should not panic if Proof of SQL is working correctly