Function bind_statement 

pub fn bind_statement(
    stmt: &Statement,
    r: &mut dyn VariableResolver,
) -> Result<Statement>

Rewrite a full statement, substituting resolvable variables in every expression position. Statements without expression payloads pass through unchanged.