checkpoint before limiting generalization of pure terms
checkpoint before memo-izing normalization
line endings in util.fs