Fix bug in finding equivalent atoms tantatively.