Recursively evaluate the term `t`, using variable values in `h`.
(t: &Term, h: &FxHashMap<String, Value>)
source not stored for this graph (policy: none)