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

      switch (missingArgument.wrapperValue) {
        case -1: 
          value = (PlKernelKb.arithmeticEqualTest(PlKernelKb.plusComputation(x1, x2), x3) ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER);
        break;
        case 0: 
          value = PlKernelKb.minusComputation(x3, x2);
        break;
        case 1: 
          value = PlKernelKb.minusComputation(x3, x1);
        break;
        case 2: 
          value = PlKernelKb.plusComputation(x1, x2);
        break;
        default:
        break;
      }
      return (value);
    }
  }