passed test 5: evaluating whether two expressions are the same atom.