Comment-out recursively normalizing clset to re-pass all tests, recursive normalization will be made as an option later