Function sql_to_proof_plans 

pub fn sql_to_proof_plans<A: SchemaAccessor + Clone>(
    statements: &[Statement],
    schemas: &A,
    config: &ConfigOptions,
) -> PlannerResult<Vec<DynProofPlan>>

Convert a SQL query to a DynProofPlan using schema from provided tables

See sql_to_posql_plans for more details