Replaces the yet again faulty recall-graph function with a new implementation. I don't know if we really want to return the new graph atom but for not it shows that our hash nesting is at least correct.