public static Stella_Object maybeSubstituteSurrogateArgument(Stella_Object arg1, Stella_Object arg2) {
    if (Logic.skolemP(arg2) ||
        Logic.descriptionModeP()) {
      if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(arg1), Logic.SGT_LOGIC_DESCRIPTION)) {
        { Description arg1000 = ((Description)(arg1));

          if (arg1000.descriptionSurrogate() != null) {
            return (arg1000.descriptionSurrogate());
          }
        }
      }
      else {
      }
    }
    return (arg1);
  }