debugging: Putting ASTs in written registry