anchor.diff:                                             MLE_Proj (arg, (path_of_ns mlenv (List.rev cons), c.v.ident.idText))
                           | Some f, arg::args -> let ids = List.map (fun x -> x.idText) f in
                             //                     assert (List.mem c.v.ident.idText ids); 
  -                                               MLE_App (MLE_Proj (arg, (path_of_ns mlenv (List.rev cons), c.v.ident.idText)), args)
  +                                           MLE_App (MLE_Proj (arg, (path_of_ns mlenv (List.rev cons), c.v.ident.idText)), args)
                           | _, _ -> MLE_App (mlexpr_of_expr mlenv rg lenv sube, args))
                     | _ -> MLE_App (mlexpr_of_expr mlenv rg lenv sube, args))
   
  
positive.code:             MLE_Var (lresolve lenv x.v.realname)
  
          | Exp_fvar (x, false) ->
              MLE_Name (mlpath_of_lident mlenv x.v)
  
          | Exp_fvar (x, true) ->
             mkCTor x.v []
  
negative.code:     ["Microsoft"; "FStar"; "Parser"; "Util"];
  ]
  
  (* -------------------------------------------------------------------- *)
  (* A table to remember the names of the fields of constructors *)
  let record_constructors = smap_create<list<ident>>(17)
  (* A table to remember the arity of algebraic constructors *)
  let algebraic_constructors = smap_create<int>(40)
  
  let rec in_ns = function
  | [], _ -> true
  | x1::t1, x2::t2 when (x1 = x2) -> in_ns (t1, t2)
  