public static Stella_Object divideConstraint(IntegerWrapper missingArgument, NumberWrapper x1, NumberWrapper x2, NumberWrapper x3) {
    { Stella_Object value = null;

      switch (missingArgument.wrapperValue) {
        case -1: 
          { NumberWrapper ratio = PlKernelKb.divideComputation(x1, x2);

            if (ratio != null) {
              value = (PlKernelKb.arithmeticEqualTest(ratio, x3) ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
            }
            else {
              value = Stella.FALSE_WRAPPER;
            }
          }
        break;
        case 0: 
          value = PlKernelKb.timesComputation(x2, x3);
        break;
        case 1: 
          value = PlKernelKb.divideComputation(x1, x3);
        break;
        case 2: 
          value = PlKernelKb.divideComputation(x1, x2);
        break;
        default:
        break;
      }
      return (value);
    }
  }