Member predicate Property::isAutoImplementedReadOnly

Holds if this property is automatically implemented and read-only. For example, P1 on line 2 is automatically implemented and read-only

class C {
  public int P1 { get; }
}