public static FloatWrapper testCaseBasedReasonerEvaluatorWrapper(Cons arguments) {
    { double result = Logic.testCaseBasedReasoner(((Symbol)(arguments.value)), ((Symbol)(arguments.rest.value)), ((IntegerWrapper)(arguments.rest.rest.value)).wrapperValue, ((IntegerWrapper)(arguments.rest.rest.rest.value)).wrapperValue);

      if (result != Stella.NULL_FLOAT) {
        return (FloatWrapper.wrapFloat(result));
      }
      else {
        return (null);
      }
    }
  }