pub fn eval_variable_certain( decls: &ItemDecls, defs: &ItemDefs, query: &mut EvalVariableQuery<'_>, ) -> Result<Value, ()>