java.lang.VerifyError when executing examples/arith.cl

[aweinert]

Steps to reproduce

Execute the following commands

./run examples/arith.cl
java -jar out.jar

Type c<Enter>1<Enter>

Expected behavior

The difference between 0 and 1 is calculated and displayed

Actual behavior

The execution of the program stops with the following error message

Exception in thread "main" java.lang.VerifyError: (class: CoolD, method: method7 signature: (LCoolInt;)LCoolBool;) Incompatible object argument for function call
  at CoolMain.main(Unknown Source)
  at CoolMain.main(Unknown Source)