public static boolean visibleArgumentP(Stella_Object self) {
    if (self == null) {
      return (true);
    }
    if (Surrogate.subtypeOfP(Stella_Object.safePrimaryType(self), Logic.SGT_LOGIC_PROPOSITION)) {
      { Proposition self000 = ((Proposition)(self));

        if ((self000.kind == Logic.KWD_ISA) &&
            BooleanWrapper.coerceWrappedBooleanToBoolean(self000.variableTypeP())) {
          if (((Justification)(Logic.$CURRENTJUSTIFICATION$.get())) != null) {
            return (true);
          }
          if ((((Keyword)(Logic.$PRINTMODE$.get())) == Logic.KWD_REALISTIC) ||
              (((Keyword)(Logic.$PRINTMODE$.get())) == Logic.KWD_ORIGINAL)) {
            return (false);
          }
          else {
          }
        }
      }
    }
    else {
    }
    return (true);
  }