eliminated TreeWitnessReasonerCache