public static Surrogate inverseInequalityOperator(Surrogate operator) {
    if (operator == PlKernelKb.SGT_PL_KERNEL_KB_g) {
      return (PlKernelKb.SGT_PL_KERNEL_KB_l);
    }
    else if (operator == PlKernelKb.SGT_PL_KERNEL_KB_l) {
      return (PlKernelKb.SGT_PL_KERNEL_KB_g);
    }
    else if (operator == Logic.SGT_PL_KERNEL_KB_ge) {
      return (PlKernelKb.SGT_PL_KERNEL_KB_el);
    }
    else if (operator == PlKernelKb.SGT_PL_KERNEL_KB_el) {
      return (Logic.SGT_PL_KERNEL_KB_ge);
    }
    else {
      { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

        stream000.nativeStream.print("`" + operator + "' is not a valid case option");
        throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
      }
    }
  }