anchor.diff:      in
   
       let mkCTor c args =
  -      match smap_try_find record_constructors c.ident.idText with
  +      match smap_try_find record_constructors c.str with
           | Some f -> MLE_Record (path_of_ns mlenv c.ns, List.zip (List.map (fun x -> x.idText) f) args)
           | None ->
             begin
  
positive.code:                 let ty =
                    match getRecordFieldsFromType qualif, cs with
                      | Some f, [c] ->
                         (smap_add record_constructors c.ident.idText f;
                          Rec (x.ident.idText, f, cs, snd (tenv_of_tvmap ar), rg))
                      | _, _ -> DT (x.ident.idText, cs, snd (tenv_of_tvmap ar), rg) in
                  (ty :: types, ctors)
  
negative.code:         else
            let le, ps = Util.fold_map (mlpat_of_pat mlenv rg) le ps in
            let p =
              match smap_try_find record_constructors x.v.str with
                | Some f -> MLP_Record (path_of_ns mlenv x.v.ns, List.zip (List.map (fun x -> x.idText) f) ps)
                | None -> MLP_CTor (mlpath_of_lident mlenv x.v, ps) in
            (le, p)
  