uses unification to search for framed atoms whose complement unifies with the given atom. */
(heap: &mut Heap, a: &Atom, c: &FramableClause)
source not stored for this graph (policy: none)
no test coverage detected