Javassist-CtMethod方法主体中的数值操作抛出VerifyError

请参见以下使用javassist创建类和方法的代码：

public Class generateClass(String className, String methodName)
            throws CannotCompileException, NotFoundException {
   ClassPool pool = ClassPool.getDefault();
   CtClass cc = pool.makeClass(className);

   ClassLoader classLoader = FormulaAPI.class.getClassLoader();
   pool.appendClassPath(new LoaderClassPath(classLoader));
   pool.importPackage("com.formula");

   String methodBody = "return ($w)($1.evaluate(\"L\") + 25.0);";

   CtClass apiClass = pool.get("com.formula.FormulaAPI");

   CtClass doubleWrapperClass = pool.get("java.lang.Double");

   CtMethod m = new CtMethod(doubleWrapperClass,methodName,new CtClass[]{apiClass},cc);
   m.setBody(methodBody);
   cc.addMethod(m);

   return cc.toClass();
}

调用此方法后，出现错误：

线程“主”中的异常java.lang.VerifyError：（类：Formulae，方法：Formula1签名：（Lcom / formulabuilder / FormulaAPI;）Ljava / lang / Double;）函数中的返回类型错误

Javassist是否不支持方法主体中的数字运算？我试图调用一个方法并向其添加一个数字，然后它返回如下值：

String methodBody = "return ($w)($1.evaluate(\"L\") + 25.0);";

如何在方法主体中实现+，*，/，<，<=等数字运算？

问题来源：Stack Overflow