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
(
)