public static void printVariableValue(Stella_Object self, OutputStream stream) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(self);

      if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_PATTERN_VARIABLE)) {
        { PatternVariable self000 = ((PatternVariable)(self));

          PatternVariable.printVariableName(self000, stream);
        }
      }
      else if (Surrogate.subtypeOfP(testValue000, Logic.SGT_LOGIC_SKOLEM)) {
        { Skolem self000 = ((Skolem)(self));

          Skolem.printSkolemName(self000, stream);
        }
      }
      else {
        Logic.printLogicalForm(self, stream);
      }
    }
  }