public static void simplifyDescription(Description description, boolean postoptimizationP) {
    if (description.proposition == null) {
      return;
    }
    { Object old$PostoptimizationP$000 = Logic.$POSTOPTIMIZATIONp$.get();

      try {
        Native.setBooleanSpecial(Logic.$POSTOPTIMIZATIONp$, postoptimizationP);
        Proposition.simplifyProposition(description.proposition);

      } finally {
        Logic.$POSTOPTIMIZATIONp$.set(old$PostoptimizationP$000);
      }
    }
  }