Type mismatch with Bool type for Java

[mgudemann]

This program

public class boolean2
{
  public void entry(boolean b)
  {
    f(b);
    assert(true);
  }

  public boolean f(boolean b)
  {
    return !b;
  }
}

fails with

function call: parameter "java::boolean2.f:(Z)Z::arg1z" type mismatch: got signedbv
  * width: 32, expected c_bool
  * width: 8

on cbmc --function "boolean2.entry" boolean2.class with cbmc version that passes boolean1 test.

[kroening]

Fixed with 35a5d92.