Applying fixed hash code to confirm to structural equality.
Fast failing on reference equality.
Adding ATerm libraries as project dependencies.