public static PatternVariable createVariable(Surrogate type, Symbol name, boolean assertisaP) {
    { Keyword evaluationmode = ((Keyword)(Logic.$EVALUATIONMODE$.get()));

      { Object old$Evaluationmode$000 = Logic.$EVALUATIONMODE$.get();

        try {
          Native.setSpecial(Logic.$EVALUATIONMODE$, evaluationmode);
          if (assertisaP &&
              (!Logic.descriptionModeP())) {
            Native.setSpecial(Logic.$EVALUATIONMODE$, Logic.KWD_DESCRIPTION);
          }
          return (((PatternVariable)(Skolem.helpCreateSkolem(PatternVariable.newPatternVariable(), type, name, assertisaP))));

        } finally {
          Logic.$EVALUATIONMODE$.set(old$Evaluationmode$000);
        }
      }
    }
  }