anchor.diff:  
   //Support for MARS procs
   let locations_and_regions =
  -    let results = ctx.Procedures.GET_LOCATIONS_AND_REGIONS.Invoke()
  +    let results = ctx.Procedures.GetLocationsAndRegions.Invoke()
       [
         for e in results.LOCATIONS do
           yield e.ColumnValues |> Seq.toList |> box
  
positive.code: let antartica =
      let result =
          query {
              for reg in ctx.``[HR].[REGIONS]`` do
              where (reg.REGION_ID = 5M)
              select reg
          } |> Seq.toList
      match result with
      | [ant] -> ant
      | _ -> 
          let newRegion = ctx.``[HR].[REGIONS]``.Create() 
          newRegion.REGION_NAME <- "Antartica"
          newRegion.REGION_ID <- 5M
          ctx.SubmitUpdates()
          newRegion
  
  antartica.REGION_NAME <- "ant"
  ctx.SubmitUpdates()
  
  antartica.Delete()
  
negative.code: //Can customise SQLEntity mapping
  let countries = 
      query {
          for emp in ctx.Countries do
          select emp
      } 
      |> Seq.map (fun e -> e.MapTo<Country>(fun (prop,value) -> 
  