Member predicate Property::hasInitializer

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

class C {
  public int P { get; set; } = 20;
}
predicate hasInitializer()