anchor.diff:      let p =
         match expr with
         | ValueWithName(p, _, name)
  -      | WithValue(p, _, PropertyGet(_, PropertyName name, _)) ->
  +      | WithValue(p, _, PropertyGet(_, PropertyName name, _))
  +      | PropertyGet(_, Property(p, name), _) ->
           let p = p :?> Prop<'T>
           new Prop<'T>(p.Sample, p |@ name)
         | WithValue(p, _, _)
  
positive.code: open Patterns
  
  let private (|PropertyName|) (info: PropertyInfo) = info.Name
  
  type QuotationPropertiesBuilder private (builder: PropertiesBuilder) =
    new() = QuotationPropertiesBuilder(PropertiesBuilder())
  
negative.code:     let p =
        match expr with
        | ValueWithName(p, _, name) 
        | WithValue(p, _, PropertyGet(_, PropertyName name, _))
        | PropertyGet(_, Property(p, name), _) ->
          p :?> Prop |@ name
        | WithValue(p, _, _)
        | Value(p, _) -> p :?> Prop
  