Compute the complementary term for an atom. We assume the arity of `not` is exactly 1 and fail to produce a term if it is used at any other arity. Note: this also applies double negation elimination (eg., not(not(p)) = p).
(heap: &mut Heap, t: &Atom, lt: Lifetime)
source not stored for this graph (policy: none)
no test coverage detected