fn get_bindings_from_expr(expr: &Expr) -> Result<HashMap<String, bool>, Error>