hijacks the analyzer to experiment with remembering original RefTrees