Removal of pure names

[VincentCheval]

Pure names are removed from the knowledge base even though they should not in this case since the attack cannot reconstruct the term in which the pure name occur. A test is missing.

pure.txt