removed duplicate code from the TreeWitnessRewriter code
minor code cleanup
removed duplicate code in TreeWitnessReasonerCache