chris-karbach-tree-refinement-restored-versions1