chris-karbach-tree-refinement-restored-versions2