anchor.diff:          | None ->
               raise_error (Errors.Fatal_SplicedUndef, BU.format2 "Splice declared the name %s but it was not defined.\nThose defined were: %s" (string_of_lid lid) (String.concat ", " <| List.map string_of_lid lids')) r
       ) lids;
  -    [], ses
  +    [], ses, env0
   
     | Sig_let(lbs, lids) ->
       let env = Env.set_range env r in
  
positive.code:     let e, _, g = check_expected_effect env (Some (U.ml_comp t_unit r)) (e, lcomp_comp c) in
      Rel.force_trivial_guard env (Env.conj_guard g1 g);
      let se = { se with sigel = Sig_main(e) } in
      [se], []
  
    | Sig_splice (lids, t) ->
      if Options.debug_any () then
  
negative.code:         List.iter Errors.print_issue errs;
          raise_error (Errors.Error_DidNotFail, BU.format3 "This top-level definition was expected to raise Error #%s %s times, but it raised it %s times"
                                                  (string_of_int e) (string_of_int n1) (string_of_int n2)) se.sigrng
      | _, None -> [], [], env
      end
  
    | None ->
  