fn term_from_atomic( atomic: &AtomicExpr, denorm_values: &BTreeMap<String, BTreeMap<OrderedF64, Value>>, ) -> Option<Term>