pub fn resolve_expr( deps: Deps<'_>, env: Env, expr: Expr, vars: &Vec<Variable>, ) -> Result<bool, ContractError>