anchor.diff:              | RQ.PropertyGet (None, prop, xs) ->
                   Q.PropertyGet (ConvertProperty prop, !!xs)
               | RQ.PropertyGet (Some x, prop, xs) ->
  -                Q.PropertyGet (ConvertProperty prop, !!(x :: xs))
  +                match prop, xs with
  +                | RecordProperty prop, [] ->
  +                    Q.FieldGetRecord(!x, prop)
  +                | _ ->
  +                    Q.PropertyGet (ConvertProperty prop, !!(x :: xs))
               | RQ.PropertySet (None, prop, xs, v) ->
                   Q.PropertySet (ConvertProperty prop, !!(xs @ [v]))
               | RQ.PropertySet (Some x, prop, xs, v) ->
  -                Q.PropertySet (ConvertProperty prop, !!(x :: xs @ [v]))
  +                match prop, xs with
  +                | RecordProperty prop, [] ->
  +                    Q.FieldSetRecord (!x, prop, !v)
  +                | _ ->
  +                    Q.PropertySet (ConvertProperty prop, !!(x :: xs @ [v]))
               | RQ.Quote q -> Q.Quote !q
               | RQ.Sequential (a, b) -> Q.Sequential (!a, !b)
               | RQ.TryFinally (a, b) -> Q.TryFinally (!a, !b)
  
positive.code:             match table.TryGetValue(t) with
              | true, f -> f x
              | _ -> Q.Literal.Unit
  
      let ConvertQuotation (q: Quotations.Expr) : Q.Expression =
          let ( !^ ) = CR.Type.FromType
  
negative.code: 
  open System.IO
  module Q = IntelliFactory.WebSharper.Core.Quotations
  module Re = IntelliFactory.WebSharper.Core.Reflection
  
  [<AbstractClass>]
  type Entity() =
  