Evaluate Ignore
Fix a bug in making unique Names
Eliminate alias cuts