Handle Java initializers

[SvenPeldszus]

Java supports initializers which are currently not supported by the program model:

public class A {
  int a = 2;
  int b;

  {
    b = 2 * a;
    a = 4;
  }
}