anchor.diff:                  | None -> null
                   | Some md -> gtd.MakePropertyInfo (this, md) 
   
  -            | _ -> notRequired this "ContextTypeSymbol: GetPropertyImpl" this.Name
  +            | _ -> notRequired this "GetPropertyImpl" this.Name
   
           override this.GetEvent(name, _bindingAttr) = 
               match kind with
  
positive.code:             |> Array.map (txILConstructorDef this)
  
          override this.GetMethods(_bindingFlags) =
              inp.Methods.Entries |> Array.map (txILMethodDef this)
  
          override this.GetField(name, _bindingFlags) =
              inp.Fields.Entries
  
negative.code:                 //   body
                  vars
                  |> List.fold (fun b v -> Expr.LetUnchecked(varDict.[v], init v.Type, b)) body
                  |> simplifyExpr
  
  
          and transLetOfByref v vexpr bexpr =
  