anchor.diff:          override __.GetGenericArguments() = gps
           override this.GetGenericTypeDefinition() = (this :> Type)
   
  +        override x.Module = x.Assembly.ManifestModule
  +
           override this.GetMember(_name, _memberType, _bindingFlags) = notRequired this "GetMember" inp.Name
           override this.GUID = notRequired this "GUID" inp.Name
           override this.GetCustomAttributes(_inherited) = notRequired this "GetCustomAttributes" inp.Name
           override this.GetCustomAttributes(_attributeType, _inherited) = notRequired this "GetCustomAttributes" inp.Name
           override this.IsDefined(_attributeType, _inherited) = notRequired this "IsDefined" inp.Name
           override this.GetInterface(_name, _ignoreCase) = notRequired this "GetInterface" inp.Name
  -        override this.Module = notRequired this "Module"  inp.Name: Module
           override this.GetElementType() = notRequired this "GetElementType" inp.Name
           override this.InvokeMember(_name, _invokeAttr, _binder, _target, _args, _modifiers, _culture, _namedParameters) = notRequired this "InvokeMember" inp.Name
   
  
positive.code:                 if m.IsGenericMethod then
                    let genericMethod = m.GetGenericMethodDefinition()
                    let parameterTypesT = genericMethod.GetParameters() |> Array.map (fun p -> convTypeToTgt p.ParameterType)
                    let genericMethodT = declTyT.GetMethod(genericMethod.Name,parameterTypesT)
                    if isNull genericMethodT then null else
                    let typeArgumentsT =  m.GetGenericArguments() |> Array.map convTypeToTgt
                    genericMethodT.MakeGenericMethod(typeArgumentsT)
                  else
                    let parameterTypesT = m.GetParameters() |> Array.map (fun p -> convTypeToTgt p.ParameterType)
                    declTyT.GetMethod(m.Name, parameterTypesT)
              match mT with
              | null -> failwithf "Method '%O' not found in type '%O'. This method may be missing in the types available in the target assemblies." m mT
              | _ -> 
  
negative.code:                     let fixedOperand = loop operand
                      match loop applicable with
                      | Lambda(arg, body) ->
                          let v = Var("__temp", operand.Type)
                          let ev = Expr.Var v
  
                          let fixedBody = loop body
  