Member predicate Field::hasInitializer

Holds if this field has an initial value. For example, the initial value of F on line 2 is 20 in

class C {
  public int F = 20;
}
predicate hasInitializer()