return ((ATerm)obj).getType() == getType() && ((ATerm)obj).getAnnotations().equals(getAnnotations());
if( ((ATerm)obj).getType() == getType() ) { return ((ATerm)obj).getAnnotations().equals(getAnnotations()); } return false;
  public boolean equivalent(SharedObject obj) {    try {      return ((ATerm)obj).getType() == getType()        && ((ATerm)obj).getAnnotations().equals(getAnnotations());    } catch (ClassCastException e) {      return false;    }  }