anchor.diff:              match e with
                   | Call(None, mi, [o; Value(:? string as name,_)]) when not (isUnitFunction e.Type) && mi.Name = "op_Dynamic" ->
                       Some(name, o)
  +
  +                | Call(None, AttributeLookup(name, AttributeKind.Inherited), [o]) ->
  +                    Some(name, o)
  +
  +                | Call(Some o, AttributeLookup(name, AttributeKind.Inherited), []) ->
  +                    Some(name, o)
  +
                   | _ ->
                       None
   
  
positive.code:                 child.Set(2, 10 + i)
                  x.Head + x.Tail.Sum child
  
              member x.Sum() = 
                  head + tail.Sum()
  
          member x.Head = head
          member x.Tail = tail
  
      type Blubber() = 
          interface IList with
              member x.Sum (s : Scope) = 0
              member x.Sum () = 0
  
  
      type Sepp<'a>(value : 'a) = 
  
negative.code:                         Log.warn "[Ag] rules for %s have ambigous return types: [%s]" name (retTypes |> Seq.map (fun t -> t.PrettyName) |> String.concat "; ")
                          None
  
                  return {
                      index           = Globals.getAttributeIndex name
                      name            = name
  