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

      switch (missingArgument.wrapperValue) {
        case -1: 
          value = (PlKernelKb.arithmeticEqualTest(PlKernelKb.timesComputation(x2, x2), x1) ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
        break;
        case 0: 
          value = PlKernelKb.timesComputation(x2, x2);
        break;
        case 1: 
          if (PlKernelKb.arithmeticLessTest(x1, IntegerWrapper.wrapInteger(0))) {
            value = null;
          }
          else {
            value = PlKernelKb.sqrtComputation(x1);
          }
        break;
        default:
        break;
      }
      return (value);
    }
  }