@Override public boolean equivalent(final SharedObject obj) { if (obj instanceof ATermAppl) { final ATermAppl peer = (ATermAppl) obj; if (peer.getType() != getType()) return false; if (peer.getAFun().equals(_fun)) { for (int i = 0; i < _args.length; i++) if (!peer.getArgument(i).equals(_args[i])) return false; return true;//peer.getAnnotations().equals(getAnnotations()); } } return false; }