Use weak reference cache for reasoner memos.